Commits · cd8a190da4a41b69a8c63375c103085b97b03264 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

May 04, 2013
- Terminate branch signedness propagation at calls and ASCII compares. · cd8a190d
  clc5q authored 11 years ago
  
  View commits for tag branch_sign_propagation_03MAY2013 branch_sign_propagation_03MAY2013
  
  cd8a190d
Apr 30, 2013
- Emit previously suppressed numeric annotations with an IDIOM code field. · 3dafac27
  clc5q authored 11 years ago
  
  View commits for tag IDIOM_annotations_30APR2013 IDIOM_annotations_30APR2013
  
  3dafac27
Apr 29, 2013
- Fix crashes on lea reg,[ds:0] instructions. · 1aef5b5f
  clc5q authored 11 years ago
  
  1aef5b5f
- RTLs for bound+arpl opcodes; 5 new opcodes in mplayer; USEs from RTL guards; code cleanup. · 0c626107
  clc5q authored 11 years ago
  
  View commits for tag bound_arpl_RTLs_29APR2013 bound_arpl_RTLs_29APR2013
  
  0c626107
Apr 03, 2013
- Suppress false positive annotations for small additions after sbb reg1,reg1 instructions. · d049b42c
  clc5q authored 12 years ago
  
  View commits for tag sign_change_false_positives_03APR2013 sign_change_false_positives_03APR2013
  
  d049b42c
- Fix bug in which addressing reg is falsely seen as binary arithmetic reg,... · 2d3fdcb8
  clc5q authored 12 years ago
  2d3fdcb8
Apr 02, 2013
- Remove bad assertion; call MDFixupDefUseLists on orphan code to improve MEDS annotations. · 8f7dfe7a
  clc5q authored 12 years ago
  
  View commits for tag code_cleanup_02APR2013 code_cleanup_02APR2013
  
  8f7dfe7a
Apr 01, 2013
- Convert to SIGNED any DEF produced by subtraction of condition codes. · 51b2ea3a
  clc5q authored 12 years ago
  
  View commits for tag signed_subtract_condition_codes_01APR2013B signed_subtract_condition_codes_01APR2013B
  
  51b2ea3a
- Permit imul of unsigned operands to produce unsigned def. · 412597ab
  clc5q authored 12 years ago
  
  View commits for tag imul_signedness_propagation_01APR2013 imul_signedness_propagation_01APR2013
  
  412597ab
Mar 31, 2013
- Enable aggressive signedness propagation, stage 1. · 456faeef
  clc5q authored 12 years ago
  
  View commits for tag signedness_propagation_31MAR2013 signedness_propagation_31MAR2013
  
  456faeef
- Avoid UNSIGNED inference from irrelevant zero-extension on loads. · 3140347a
  clc5q authored 12 years ago
  
  View commits for tag signedness_30MAR2013 signedness_30MAR2013
  
  3140347a
Mar 30, 2013
- Do not allow DEF signedness to become mixed due to propagation of USE operand... · 3af2401e
  clc5q authored 12 years ago
  View commits for tag unmixed_DEF_signedness_29MAR2013 unmixed_DEF_signedness_29MAR2013
  
  3af2401e
Mar 26, 2013
- Suppress underflow false positives on ASCII char range checks. · 3d3e6103
  clc5q authored 12 years ago
  
  View commits for tag ASCII_false_positives_26MAR2013 ASCII_false_positives_26MAR2013
  
  3d3e6103
- Finish signedness inference from opcodes. · ff165b9f
  clc5q authored 12 years ago
  
  View commits for tag opcode_signedness_25MAR2013 opcode_signedness_25MAR2013
  
  ff165b9f
Mar 24, 2013
- Speed up and clean up reaching defs computations. · 969145be
  clc5q authored 12 years ago
  
  View commits for tag reaching_defs_speedup_23MAR2013 reaching_defs_speedup_23MAR2013
  
  969145be
Mar 23, 2013
- Infer signedness from opcodes; suppress overflow and underflow checks on small... · 46840831
  clc5q authored 12 years ago
  View commits for tag opcode_signedness_benign_flags_22MAR2013 opcode_signedness_benign_flags_22MAR2013
  
  46840831
Mar 21, 2013
- Check for truncation when the USE is a possible truncation and DEF is a non-stack memory location. · 995020bc
  clc5q authored 12 years ago
  
  View commits for tag memdef_truncation_21MAR2013 memdef_truncation_21MAR2013
  
  995020bc
- Build RTLs for SSE opcodes found in dumbledore and ffmpeg codes. · 35143b1d
  clc5q authored 12 years ago
  
  View commits for tag SSE_RTLs_20MAR2013 SSE_RTLs_20MAR2013
  
  35143b1d
Mar 03, 2013
- Suppress benign underflows from strcmp() code or any code subtracting condition code values. · c9b35f2c
  clc5q authored 12 years ago
  
  View commits for tag benign_condition_code_underflow_02MAR2013 benign_condition_code_underflow_02MAR2013
  
  c9b35f2c
Feb 22, 2013
- Analysis of stack pointer deltas and stack location accesses. · 604fc5c9
  clc5q authored 12 years ago
  
  View commits for tag stack_pointer_analysis_21FEB2013 stack_pointer_analysis_21FEB2013
  
  604fc5c9
Dec 24, 2012
- Code for reaching defs and stack deltas (complete but inactive.) · 6c3670f0
  clc5q authored 12 years ago
  
  View commits for tag reaching_defs_24DEC2012 reaching_defs_24DEC2012
  
  6c3670f0
Dec 14, 2012
- Removed --no-undefined flag from link step, as this flag is generally... · e72ebc05
  jdh8d authored 12 years ago
  e72ebc05
Dec 13, 2012
- Count numeric annotation; begin reaching definitions analysis. · 3a28fa87
  clc5q authored 12 years ago
  
  View commits for tag count_numeric_annots_13DEC2012 count_numeric_annots_13DEC2012
  
  3a28fa87
Dec 04, 2012
- Phase ordering changes. · e3dc0ae8
  clc5q authored 12 years ago
  
  View commits for tag early_SSA_03DEC2012 early_SSA_03DEC2012
  
  e3dc0ae8
Nov 30, 2012
- Continuing disassembly improvements. · d175c214
  clc5q authored 12 years ago
  
  View commits for tag disasm_29NOV2012 disasm_29NOV2012
  
  d175c214
Nov 21, 2012
- Partial completion of stack pointer delta analysis; reordering analyses for optimal sequence. · 1be57226
  clc5q authored 12 years ago
  
  View commits for tag phase_ordering_21NOV2012 phase_ordering_21NOV2012
  
  1be57226
Oct 30, 2012
- Prep work for whole program analyses from the call graph leaves upward. · ba501315
  clc5q authored 12 years ago
  
  View commits for tag global_analysis_prep_30OCT2012 global_analysis_prep_30OCT2012
  
  ba501315
Oct 28, 2012
- Prep work for changing the processing order of functions. · 65f048cb
  clc5q authored 12 years ago
  
  65f048cb
Oct 25, 2012
- Initial work to analyze stack pointer offsets. · 1e845d3d
  clc5q authored 12 years ago
  
  1e845d3d
Oct 19, 2012
- Make funcs with no callers UNSAFE. · 5d3f317f
  clc5q authored 12 years ago
  
  View commits for tag unsafe_uncalled_funcs_18OCT2012 unsafe_uncalled_funcs_18OCT2012
  
  5d3f317f
Oct 18, 2012
- Correctly handle tail calls in the call graph. · 243702dc
  clc5q authored 12 years ago
  
  View commits for tag tail_calls_18OCT2012 tail_calls_18OCT2012
  
  243702dc
- Mark functions UNSAFE if they are the target of jumps used as calls. · e5fe6b07
  clc5q authored 12 years ago
  
  e5fe6b07
Oct 17, 2012
- Treat return addresses as insecure (FUNC_UNSAFE) when address of function is taken. · dbb807c1
  clc5q authored 12 years ago
  
  dbb807c1
Oct 16, 2012
- Build RTLs for some SSE instructions. · 6a711724
  clc5q authored 12 years ago
  
  View commits for tag SSE_RTLs_16OCT2012 SSE_RTLs_16OCT2012
  
  6a711724
Oct 10, 2012
- Work around IDA Pro problem that produces bogus incoming args at huge stack frame offsets. · 2df5f659
  clc5q authored 12 years ago
  
  2df5f659
Sep 18, 2012
- Operate through new middleware module SMPDBInterface instead of directly through IDA Pro SDK. · 39c0fa15
  clc5q authored 12 years ago
  
  39c0fa15
Aug 14, 2012
- Emit info annotation for all memory operands. · 95c5af56
  clc5q authored 12 years ago
  
  95c5af56
May 12, 2012
- Speed up InferGlobalDefType() by limiting search scope to chains starting with DEF block. · 3b902d79
  clc5q authored 12 years ago
  
  View commits for tag code_speedup_11MAY2012 code_speedup_11MAY2012
  
  3b902d79
May 11, 2012
- Recognize benign underflow code using subtract with borrow with identical left and right operands. · 261af157
  clc5q authored 12 years ago
  
  View commits for tag benign_underflow_sbb_11MAY2012 benign_underflow_sbb_11MAY2012
  
  261af157
May 07, 2012
- Memory and code cleanup with no annotation changes. · e76a5fc0
  clc5q authored 12 years ago
  
  View commits for tag code_cleanup_06MAY2012 code_cleanup_06MAY2012
  
  e76a5fc0