Commits · 0f2d557b2f84f1fd421e14db86804ea8e8cf5456 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Apr 19, 2011
- Eliminate compiler warnings and valgrind memcheck error; remove incomplete SBIR code. · 0f2d557b
  clc5q authored 13 years ago
  
  0f2d557b
Mar 30, 2011
- Added copyright notices · 9f2d1d14
  jdh8d authored 14 years ago
  
  9f2d1d14
Mar 16, 2010
- Continue interprocedural framework; only analyze metadata if SSA info is present. · c37e2665
  clc5q authored 15 years ago
  
  View commits for tag alias_analysis_3 alias_analysis_3
  
  c37e2665
Jan 06, 2010
- Disable BLOCK PROFILECOUNT annot temporarily; start ComputeGlobalSets() infrastructure. · 927a5e2d
  clc5q authored 15 years ago
  
  View commits for tag block_profile_2 block_profile_2
  
  927a5e2d
Aug 07, 2008
- Clear up fine grained false positives from accesses to multiple stack frames from one inst. · 7a97c978
  clc5q authored 16 years ago
  
  View commits for tag profiled_granularity9 profiled_granularity9
  
  7a97c978
Jul 16, 2008
- Emit CHILDACCESS annotations. · f274b22b
  clc5q authored 16 years ago
  
  View commits for tag profiled_granularity2 profiled_granularity2
  
  f274b22b
Jul 15, 2008
- Process profiler annotations for memory granularity and infer which data types are unique. · ccda71cc
  clc5q authored 16 years ago
  
  View commits for tag profiled_granularity1 profiled_granularity1
  
  ccda71cc
Jun 24, 2008
- changes to support indirect call target profiling · 4aa80ba5
  jdh8d authored 16 years ago
  
  4aa80ba5
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