Commits · fbaaf516b0dfb866c3e648a3beaf38bb57defd0c · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Jun 21, 2008
- Extend stack location type propagation from Sudeep's safe func definition to ours. · fbaaf516
  clc5q authored 16 years ago
  
  View commits for tag safe_func_opts7 safe_func_opts7
  
  fbaaf516
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 09, 2008
- Implement (disabled) ID of POINTER-type address regs on stores. · f90aa252
  clc5q authored 16 years ago
  
  View commits for tag pointer_address_regs pointer_address_regs
  
  f90aa252
- Add diagnostic message. · 8f87f104
  clc5q authored 16 years ago
  
  8f87f104
Jun 08, 2008
- Apply NumericDEFs annotations to the lea opcode. · e4ba25f1
  clc5q authored 16 years ago
  
  View commits for tag lea_numeric_defs lea_numeric_defs
  
  e4ba25f1
- Fixed for interrupt instructions and UseFP phase ordering problem. · 2bee501d
  clc5q authored 16 years ago
  
  View commits for tag interrupt_fix2 interrupt_fix2
  
  2bee501d
- Allow mmStrata to process interrupt instructions. · d028999c
  clc5q authored 16 years ago
  
  View commits for tag interrupt_fix interrupt_fix
  
  d028999c
Jun 07, 2008
- Code cleanup; implement (disabled) -5 optimization for additions. · b75f9303
  clc5q authored 16 years ago
  
  View commits for tag code_cleanup3 code_cleanup3
  
  b75f9303
- 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
- Track profile derived status in SMPMeetType(). · 7c294ba1
  clc5q authored 16 years ago
  
  7c294ba1
- Add methods MDFindSavedRegs() and MDFindReturnTypes() for remediation use. · 0202c1c1
  clc5q authored 16 years ago
  
  View commits for tag remediation_info1 remediation_info1
  
  0202c1c1
- Add method GetPushedOpnd(). · 587d3760
  clc5q authored 16 years ago
  
  587d3760
- Add function SMPTypeMeet(). · 57912578
  clc5q authored 16 years ago
  
  57912578
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
- Add caller-saved regs to USE list for all CALLs, not just interrupt calls. · 7af9c957
  clc5q authored 16 years ago
  
  7af9c957
- 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 17, 2008
- Treat xor reg,reg as mov reg,0. · 2db04f4e
  clc5q authored 16 years ago
  
  View commits for tag code_cleanup1 code_cleanup1
  
  2db04f4e
- Clean up and complete MDFindPointerType(). · c06c5317
  clc5q authored 16 years ago
  
  c06c5317
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
- Code cleanup to compile on Visual Studio. · 13e3bf25
  clc5q authored 16 years ago
  
  13e3bf25
- 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
- *** empty log message *** · 311125ce
  jdh8d authored 16 years ago
  
  View commits for tag type_inference_with_profiler_input_fixed type_inference_with_profiler_input_fixed
  
  311125ce
- 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
- Code cleanup; use AllDEFsTyped() and AllUSEsType() to control type inference termination. · 6f023523
  clc5q authored 16 years ago
  
  View commits for tag type_inference_cleanup1 type_inference_cleanup1
  
  6f023523