Commits · 587d37609e93c632920ffc946032c7f9efff429f · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

May 28, 2008
- Treat CALL USE list regs as live metadata; allow SMPInstr->InferTypes() to... · bee0341d
  clc5q authored 16 years ago
  
  Treat CALL USE list regs as live metadata; allow SMPInstr->InferTypes() to reach fixed point before inferring DEFs.
  View commits for tag analyze_metadata2 analyze_metadata2
  
  bee0341d
- added functionality to map each instruction to an IDA function · 868aad7b
  jdh8d authored 16 years ago
  
  868aad7b
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 16, 2008
- Infer Phi DEFs from instruction USEs. · 7fed4604
  clc5q authored 16 years ago
  
  View commits for tag infer_phi_DEFs infer_phi_DEFs
  
  7fed4604
May 15, 2008
- Infer global POINTER DEF from any POINTER USE. · 5850c5a3
  clc5q authored 16 years ago
  
  View commits for tag infer_pointer_def infer_pointer_def
  
  5850c5a3
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 12, 2008
- Start implementation of (disabled) conditional type propagation. · 6db7ca24
  clc5q authored 16 years ago
  
  View commits for tag propagate_SAFE_mem propagate_SAFE_mem
  
  6db7ca24
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 03, 2008
- Treat tail calls as returns, not as far chunk branches. · 6cf2c9d4
  clc5q authored 16 years ago
  
  View commits for tag analyze_tail_calls analyze_tail_calls
  
  6cf2c9d4
- 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
May 02, 2008
- Macros and other preparation for integrating profiler annotations into the type inference system. · fc9fe57c
  clc5q authored 16 years ago
  
  View commits for tag prep_for_profiler prep_for_profiler
  
  fc9fe57c
May 01, 2008
- Use new function MDExtractAddressFields to refactor code; fix o_phrase case in MarkFunctionSafe. · c7ad5c7d
  clc5q authored 16 years ago
  
  View commits for tag minor_safefunc_fixes2 minor_safefunc_fixes2
  
  c7ad5c7d
Apr 30, 2008
- Disable back type inference for indirect memory operands. · ebf5f3f2
  clc5q authored 16 years ago
  
  ebf5f3f2
Apr 25, 2008
- Fix prior revision to look in all blocks, not just dominance frontier. · 275cf474
  clc5q authored 16 years ago
  
  275cf474
Apr 21, 2008
- Fix InferGlobalDefType() to look for USEs in phi functions. · df6e13ce
  clc5q authored 16 years ago
  
  View commits for tag find_phi_uses find_phi_uses
  
  df6e13ce
Apr 20, 2008
- Reduce debug output. · 5ce5a1b7
  clc5q authored 16 years ago
  
  View commits for tag conservative_nonleaf_types conservative_nonleaf_types
  
  5ce5a1b7
- Reduce debug output. · 30dd2a80
  clc5q authored 16 years ago
  
  30dd2a80
- Reduce debug output. · e16abfe2
  clc5q authored 16 years ago
  
  e16abfe2
- Eliminate warning messages about uninitialized use of stack top address on POPs. · d773f60b
  clc5q authored 16 years ago
  
  d773f60b
Apr 19, 2008
- Attach DEFs of uninitialized names to the marker inst at top of function. · b7396576
  clc5q authored 16 years ago
  
  View commits for tag SSA_for_nonleaf_type_inference SSA_for_nonleaf_type_inference
  
  b7396576
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
- Fix up line break on FUNC annotation. · 00e7b05e
  clc5q authored 16 years ago
  
  00e7b05e
- 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 15, 2008
- Change DumpFlag trigger again. · ead8e6a4
  clc5q authored 16 years ago
  
  View commits for tag omembasereg_and_globaldeadregs_fixes omembasereg_and_globaldeadregs_fixes
  
  ead8e6a4
- Integrate Kevin Binswanger's global dead register analysis. · 256f6b47
  clc5q authored 16 years ago
  
  View commits for tag kevinb_global_deadregs kevinb_global_deadregs
  
  256f6b47
Apr 09, 2008
- Diagnostic tracking of typed and untyped DEFs. · 5dce197f
  clc5q authored 16 years ago
  
  5dce197f
Apr 08, 2008
- Remove instructions when removing unreachable blocks. · 92942735
  clc5q authored 16 years ago
  
  92942735
Apr 07, 2008
- Type inference for leaf functions nearing completion. · e4d81aa1
  clc5q authored 16 years ago
  
  e4d81aa1
Apr 03, 2008
- Limit SSA to functions without indirect jumps; phi type propagation fixes · 8d8fc5f2
  clc5q authored 16 years ago
  
  View commits for tag fixed_apache_crash fixed_apache_crash
  
  8d8fc5f2
Apr 02, 2008
- Infer DEF type from USEs. · eac033d1
  clc5q authored 16 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 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