Commits · 7b336af2db8f5481ff00fc0c1e1d64ff4e3b5ed0 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

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 27, 2008
- Convert DefOrUseList to DefOrUseSet for instructions. · 9baed02f
  clc5q authored 17 years ago
  
  View commits for tag convert_to_DefOrUseSet convert_to_DefOrUseSet
  
  9baed02f
Mar 24, 2008
- Initial code to build RTLs and infer operand types. · 4460a0c3
  clc5q authored 17 years ago
  
  View commits for tag initial_RTL_design initial_RTL_design
  
  4460a0c3
Mar 07, 2008
- Do not let fine grained stack data referents extend into saved regs region. · c843db5e
  clc5q authored 17 years ago
  
  View commits for tag fine_grained_global_stack fine_grained_global_stack
  
  c843db5e
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
Mar 03, 2008
- Implemented fine-grained stack data annotations. · d9484d60
  clc5q authored 17 years ago
  
  d9484d60
Feb 27, 2008
- Implement semi-naive global data fine granularity. · f7298079
  clc5q authored 17 years ago
  
  f7298079
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