Commits · a01f9b8b441a5347ee588fa6d4d87f43c1a287df · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

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
- Code cleanup; speed up PropagateLocalDefType(). · 06e4a2bf
  clc5q authored 16 years ago
  
  06e4a2bf
- Infer local POINTER DEF from any POINTER USE; fix add/sub/interrupt problems. · 3bebaac3
  clc5q authored 16 years ago
  
  3bebaac3
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
- Increase propagation of POINTER and SAFE function memory types. · 8811335c
  clc5q authored 16 years ago
  
  8811335c
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 07, 2008
- Fix propagation of Phi DEFs by resetting the block processed flags first. · a3861529
  clc5q authored 16 years ago
  
  View commits for tag phi_propagation_fix1 phi_propagation_fix1
  
  a3861529
May 06, 2008
- Move add with carry and subtract with borrow back to always NUMERIC case in InferOperatorType. · 2b617090
  clc5q authored 16 years ago
  
  View commits for tag add_subtract_opts add_subtract_opts
  
  2b617090
- Add comment. · 2da3de3c
  clc5q authored 16 years ago
  
  2da3de3c