Commits · b4454f5109715e40248ba7ae66b656b1b485c7d6 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Sep 25, 2008
- Add analysis of indirect memory accesses to each instruction. · b4454f51
  clc5q authored 16 years ago
  
  View commits for tag indirect_accesses1 indirect_accesses1
  
  b4454f51
Aug 11, 2008
- Detect stack pointer copy and indirect access to caller's frame via the lea opcode. · 9c21dc30
  clc5q authored 16 years ago
  
  View commits for tag safe_frame_opts2 safe_frame_opts2
  
  9c21dc30
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 22, 2008
- Convert SafeFrameAlloc annotations to NoWarn for funcs with no frame allocation detected. · 15cd77ef
  clc5q authored 16 years ago
  
  View commits for tag profiled_granularity6 profiled_granularity6
  
  15cd77ef
Jul 21, 2008
- Reduce debugging output. · 915b3e18
  clc5q authored 16 years ago
  
  View commits for tag profiled_granularity5 profiled_granularity5
  
  915b3e18
- Emit NoWarn annotation for all pushes in SAFE funcs. · 31372c46
  clc5q authored 16 years ago
  
  View commits for tag nowarn_safe_pushes nowarn_safe_pushes
  
  31372c46
Jul 19, 2008
- Don't extend caller's stack frame for safe callees. · 792f3d76
  clc5q authored 16 years ago
  
  View commits for tag safe_frame_opt1 safe_frame_opt1
  
  792f3d76
Jul 16, 2008
- Emit CHILDACCESS annotations. · f274b22b
  clc5q authored 16 years ago
  
  View commits for tag profiled_granularity2 profiled_granularity2
  
  f274b22b
Jun 25, 2008
- Restructured analysis sequence to eliminate phase ordering problems in safe function analyses. · 2417492b
  clc5q authored 16 years ago
  
  View commits for tag restructured_phases restructured_phases
  
  2417492b
Jun 24, 2008
- changes to support indirect call target profiling · 4aa80ba5
  jdh8d authored 16 years ago
  
  4aa80ba5
Jun 19, 2008
- Separate NeedsStackReferent from FuncSafe. · 64ac1acc
  clc5q authored 16 years ago
  
  View commits for tag code_cleanup5 code_cleanup5
  
  64ac1acc
- Expand SafeFunc optimizations with bug fixes. · 285e2a46
  clc5q authored 16 years ago
  
  View commits for tag safe_func_opts6 safe_func_opts6
  
  285e2a46
Jun 18, 2008
- Code cleanup for safe funcs. · a0ee969b
  clc5q authored 16 years ago
  
  View commits for tag code_cleanup4 code_cleanup4
  
  a0ee969b
- Apply metadata liveness analysis to stack locations in safe funcs. · 9036239c
  clc5q authored 16 years ago
  
  View commits for tag safe_func_opts5 safe_func_opts5
  
  9036239c
Jun 16, 2008
- Expand SMP safe func definition to ignore AnalyzedSP. · 20097c8d
  clc5q authored 16 years ago
  
  View commits for tag safe_func_opts4 safe_func_opts4
  
  20097c8d
- Expand SAFE function criteria for SMP project to ignore indirect non-stack... · 85cd1560
  clc5q authored 16 years ago
  
  Expand SAFE function criteria for SMP project to ignore indirect non-stack writes and writes above the return address.
  View commits for tag safe_func_opts3 safe_func_opts3
  
  85cd1560
Jun 13, 2008
- Find redundant metadata and annotate. · 65a9a93f
  clc5q authored 16 years ago
  
  View commits for tag redundant_metadata1 redundant_metadata1
  
  65a9a93f
Jun 11, 2008
- Redefine safe funcs for SMP purposes to ignore indirect non-stack writes. · a01f9b8b
  clc5q authored 16 years ago
  
  View commits for tag safe_func_opt2 safe_func_opt2
  
  a01f9b8b
- Eliminate stack frame annotations for SAFE funcs; gather stats on why funcs are unsafe. · 1e0fa671
  clc5q authored 16 years ago
  
  View commits for tag safe_func_opts1 safe_func_opts1
  
  1e0fa671
- Do not consider scaled index regs to have live metadata. · 83bed809
  clc5q authored 16 years ago
  
  83bed809
- Deal with IDA Pro 5.2 upgrade issues. · 31e5ae41
  clc5q authored 16 years ago
  
  View commits for tag idapro52_fix idapro52_fix
  
  31e5ae41
Jun 08, 2008
- Fixed for interrupt instructions and UseFP phase ordering problem. · 2bee501d
  clc5q authored 16 years ago
  
  View commits for tag interrupt_fix2 interrupt_fix2
  
  2bee501d
Jun 07, 2008
- Code cleanup. · a564e3fd
  clc5q authored 16 years ago
  
  a564e3fd
Jun 04, 2008
- *** empty log message *** · 7d0b14cf
  jdh8d authored 16 years ago
  
  7d0b14cf
Jun 02, 2008
- Aggressive dead metadata detection; stop propagation at memory loads. · 75dbe193
  clc5q authored 16 years ago
  
  View commits for tag analyze_metadata4 analyze_metadata4
  
  75dbe193
Jun 01, 2008
- Dead metadata analysis fixes. · 24fffc98
  clc5q authored 16 years ago
  
  View commits for tag analyze_metadata3 analyze_metadata3
  
  24fffc98
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
- Avoid SetImmedTypes() on second iteration of SMPFunction::InferTypes(). · 59763032
  clc5q authored 16 years ago
  
  View commits for tag remediation_info2 remediation_info2
  
  59763032
- Add methods MDFindSavedRegs() and MDFindReturnTypes() for remediation use. · 0202c1c1
  clc5q authored 16 years ago
  
  View commits for tag remediation_info1 remediation_info1
  
  0202c1c1
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