Commits · e4ba25f114848aa7ddba67eb4a95f7bcffc42697 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

May 29, 2008
- Code cleanup, initializing more members in constructors, etc. · b806bd99
  clc5q authored 16 years ago
  
  View commits for tag code_cleanup2 code_cleanup2
  
  b806bd99
- Avoid SetImmedTypes() on second iteration of SMPFunction::InferTypes(). · 59763032
  clc5q authored 16 years ago
  
  View commits for tag remediation_info2 remediation_info2
  
  59763032
- Add methods MDFindSavedRegs() and MDFindReturnTypes() for remediation use. · 0202c1c1
  clc5q authored 16 years ago
  
  View commits for tag remediation_info1 remediation_info1
  
  0202c1c1
May 23, 2008
- Implement analysis of liveness of metadata. · 1d37a1c4
  clc5q authored 16 years ago
  
  View commits for tag analyze_metadata1 analyze_metadata1
  
  1d37a1c4
May 16, 2008
- Infer Phi DEFs from instruction USEs. · 7fed4604
  clc5q authored 16 years ago
  
  View commits for tag infer_phi_DEFs infer_phi_DEFs
  
  7fed4604
May 15, 2008
- Infer global POINTER DEF from any POINTER USE. · 5850c5a3
  clc5q authored 16 years ago
  
  View commits for tag infer_pointer_def infer_pointer_def
  
  5850c5a3
May 14, 2008
- Support for reading/updating profiler generated annotations, and applying... · 27b7dc82
  jdh8d authored 16 years ago
  
  Support for reading/updating profiler generated annotations, and applying profiled numeric annotations to the type inference system
  View commits for tag type_inference_with_profiler_input type_inference_with_profiler_input
  
  27b7dc82
May 12, 2008
- Start implementation of (disabled) conditional type propagation. · 6db7ca24
  clc5q authored 16 years ago
  
  View commits for tag propagate_SAFE_mem propagate_SAFE_mem
  
  6db7ca24
May 08, 2008
- Handel fall-through from conditional tail calls; gather Phi DEF type inference stats. · 9a267dcf
  clc5q authored 16 years ago
  
  View commits for tag conditional_tail_call conditional_tail_call
  
  9a267dcf
May 03, 2008
- Use IDA switch table info to set successors for indirect jumps. · 36cff4f8
  clc5q authored 16 years ago
  
  View commits for tag switch_table_info switch_table_info
  
  36cff4f8
Apr 17, 2008
- Add dummy marker instruction at function top for SSA use. · 94356127
  clc5q authored 16 years ago
  
  View commits for tag SSA_marker_instruction SSA_marker_instruction
  
  94356127
Apr 16, 2008
- Sudeep Ghosh code for identifying SAFE functions. · 283750fb
  clc5q authored 16 years ago
  
  View commits for tag sudeepg_safe_functions sudeepg_safe_functions
  
  283750fb
Apr 15, 2008
- Integrate Kevin Binswanger's global dead register analysis. · 256f6b47
  clc5q authored 16 years ago
  
  View commits for tag kevinb_global_deadregs kevinb_global_deadregs
  
  256f6b47
Apr 09, 2008
- Diagnostic tracking of typed and untyped DEFs. · 5dce197f
  clc5q authored 16 years ago
  
  5dce197f
Apr 02, 2008
- Propagate DEF types to USEs; emit type annotations. · b1cb6292
  clc5q authored 17 years ago
  
  View commits for tag propagate_DEF_types propagate_DEF_types
  
  b1cb6292
Mar 29, 2008
- Beginning of type inference system on RTLs. · 5c08045d
  clc5q authored 17 years ago
  
  View commits for tag early_type_inference_work early_type_inference_work
  
  5c08045d
Mar 03, 2008
- Implemented fine-grained stack data annotations. · d9484d60
  clc5q authored 17 years ago
  
  d9484d60
Feb 21, 2008
- Fix for EFLAGS DEADREGS annotations; begin stack var granularity code. · 329b72e0
  clc5q authored 17 years ago
  
  329b72e0
Feb 11, 2008
- SSA renumber local names; local def-use chains; emit local dead registers... · 73509b19
  clc5q authored 17 years ago
  
  SSA renumber local names; local def-use chains; emit local dead registers annotations using Sudeep's EFLAGS arrays.
  73509b19
Feb 02, 2008
- Massive SSA renumbering update; start of type inference system. · 9c747f01
  clc5q authored 17 years ago
  
  9c747f01
Jan 21, 2008
- Initial revision; split from SMPDataFlowAnalysis module. · 22cefa6c
  clc5q authored 17 years ago
  
  22cefa6c