Commits · 6f0235234f3be07fadeed5de0e9839683a78df1d · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

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