Commits · b806bd991b7293f0ac1caf9c033cbfb035cbc93b · 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
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 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 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
Mar 30, 2008
- Type inference for immediates; type-based annotation beginnings. · 7b336af2
  clc5q authored 17 years ago
  
  View commits for tag immed_type_inference immed_type_inference
  
  7b336af2
Mar 11, 2008
- Begin distinguishing indirect and direct accesses in fine-grained global ID (commented out). · 67da20f8
  clc5q authored 17 years ago
  
  67da20f8
Feb 27, 2008
- Implement semi-naive global data fine granularity. · f7298079
  clc5q authored 17 years ago
  
  f7298079
Feb 22, 2008
- Initial module version. · e7e4d4a1
  clc5q authored 17 years ago
  
  e7e4d4a1