Commits · 868aad7b0738bbff38794c51b6371ad7d499cf13 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

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 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 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 05, 2008
- Emit optimizing annotations for ADD/SUB instructions with NUMERIC source operand. · d3b22c2c
  clc5q authored 16 years ago
  
  d3b22c2c
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 30, 2008
- Trivial debugging trigger change, again. · 86d32145
  clc5q authored 16 years ago
  
  86d32145
Apr 21, 2008
- Trivial debug output changes. · e95c824e
  clc5q authored 16 years ago
  
  e95c824e
Apr 20, 2008
- Reduce debug output. · 30dd2a80
  clc5q authored 16 years ago
  
  30dd2a80
- Infer types for non-leaf functions also. · 9b66f136
  clc5q authored 16 years ago
  
  9b66f136
- Trivial debug output change. · efe57859
  clc5q authored 16 years ago
  
  View commits for tag conservative_boolean_type_inference conservative_boolean_type_inference
  
  efe57859
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
- Eliminate unused var warning; cosmetic cleanup. · 40479b25
  clc5q authored 16 years ago
  
  View commits for tag minor_safefunc_fixes1 minor_safefunc_fixes1
  
  40479b25
- 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 11, 2008
- Set debug dump to weightadj function (179.art). · 21a36d15
  clc5q authored 16 years ago
  
  21a36d15
Apr 09, 2008
- Diagnostic tracking of typed and untyped DEFs. · 5dce197f
  clc5q authored 16 years ago
  
  5dce197f
Apr 07, 2008
- Type inference for leaf functions nearing completion. · e4d81aa1
  clc5q authored 16 years ago
  
  e4d81aa1
Apr 02, 2008
- Infer DEF type from USEs. · eac033d1
  clc5q authored 17 years ago
  
  View commits for tag infer_DEF_type infer_DEF_type
  
  eac033d1
- 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 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 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 11, 2008
- Begin distinguishing indirect and direct accesses in fine-grained global ID (commented out). · 67da20f8
  clc5q authored 17 years ago
  
  67da20f8
Mar 05, 2008
- Make uniform column width annotations; simplify FindAllocPoint(). · a691a88e
  clc5q authored 17 years ago
  
  a691a88e
Mar 04, 2008
- Changed format of data annotations (PARENT, CHILDOF, DATAREF, etc.) · 34d95ecf
  clc5q authored 17 years ago
  
  34d95ecf
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