Commits · c9b35f2ccbbca134b50f4713fc7eb01f9a2e8df1 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

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
  
  Removed --no-undefined flag from link step, as this flag is generally unsupported, and seems unneeded.
  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
May 06, 2012
- Reduce SMPInstr memory by pulling disasm text into a global shared object,... · 61025e20
  clc5q authored 12 years ago
  
  Reduce SMPInstr memory by pulling disasm text into a global shared object, produced on demand per address.
  61025e20
May 05, 2012
- Minor memory allocation and destructor cleanup. · dfd975b6
  clc5q authored 12 years ago
  
  dfd975b6
May 01, 2012
- Extend tracing of memset targets to include immediate values added to stack offsets. · f8ae53b2
  clc5q authored 12 years ago
  
  View commits for tag analyze_memset_3_30APR2012 analyze_memset_3_30APR2012
  
  f8ae53b2
Apr 30, 2012
- Improve tracing of memset() arguments through stack locations. · 25ffb3a2
  clc5q authored 12 years ago
  
  View commits for tag analyze_memset_2_30APR2012 analyze_memset_2_30APR2012
  
  25ffb3a2
- Analyze memset() calls, emit annotations for stack targets. · c60ddcab
  clc5q authored 12 years ago
  
  View commits for tag analyze_memset_29APR2012 analyze_memset_29APR2012
  
  c60ddcab
Apr 27, 2012
- Move BuildRTL earlier; fix problems with destructors and phase ordering. · 708f1efc
  clc5q authored 12 years ago
  
  View commits for tag stack_offset_analysis_1_27APR2012A stack_offset_analysis_1_27APR2012A
  
  708f1efc
Apr 19, 2012
- Permit signedness checks on stack writes in limited safe cases. · 67633c52
  clc5q authored 12 years ago
  
  View commits for tag safe_stack_signedness_checks_18APR2012 safe_stack_signedness_checks_18APR2012
  
  67633c52
Apr 17, 2012
- Find overflowing opcodes that DEF an arg passed to malloc et al. and tag annotation as SINKMALLOC. · 7daca5a3
  clc5q authored 12 years ago
  
  View commits for tag mark_malloc_sink_overflows_17APR2012 mark_malloc_sink_overflows_17APR2012
  
  7daca5a3
Apr 16, 2012
- Suppress signedness checks on moves into stack. · f75c109c
  clc5q authored 12 years ago
  
  View commits for tag suppress_stack_sign_checks_16APR2012 suppress_stack_sign_checks_16APR2012
  
  f75c109c
- Infer immediate pointers are UNSIGNED; handle bit test opcodes. · e9b7670d
  clc5q authored 12 years ago
  
  View commits for tag unsigned_immed_ptrs_15APR2012 unsigned_immed_ptrs_15APR2012
  
  e9b7670d
Apr 15, 2012
- Suppress SIGNEDNESS annotations where we have a mixed-sign USE and a non-mixed DEF of that USE. · 80237f1e
  clc5q authored 12 years ago
  
  View commits for tag suppress_mixed_sign_checks_14APR2014 suppress_mixed_sign_checks_14APR2014
  
  80237f1e
Apr 14, 2012
- Avoid treating stack pointer addressing registers as arithmetic operands in signedness inference. · b421e5bb
  clc5q authored 12 years ago
  
  View commits for tag stackptr_reg_id_13APR2012C stackptr_reg_id_13APR2012C
  
  b421e5bb
Apr 13, 2012
- Handle double-reg shifts to prevent assertions. · ad50bb08
  clc5q authored 12 years ago
  
  View commits for tag double_reg_shifts_13APR2012B double_reg_shifts_13APR2012B
  
  ad50bb08
- Suppress truncation annotations when a reg is stored in two halves. · 7561c301
  clc5q authored 12 years ago
  
  View commits for tag piecewise_subreg_stores_13APR2012 piecewise_subreg_stores_13APR2012
  
  7561c301
Apr 12, 2012
- Suppress truncation and signedness annotations on zero-extensions of sub-registers. · 9e0f3315
  clc5q authored 12 years ago
  
  View commits for tag movzx_subreg_suppression_12APR2012B movzx_subreg_suppression_12APR2012B
  
  9e0f3315
- Suppress overflow annotations for ECX when next use is of CL as shift count. · 32248a21
  clc5q authored 12 years ago
  
  View commits for tag benign_overflow_shift_count_13APR2012 benign_overflow_shift_count_13APR2012
  
  32248a21
Apr 11, 2012
- Fix format of new truncation emission for subreg sign extension opcodes. · 9649b341
  clc5q authored 12 years ago
  
  9649b341
- Handle truncation and signedness issues for opcodes that sign extend a subregister. · dbd80c9c
  clc5q authored 12 years ago
  
  View commits for tag subreg_sign_ext_11APR2012 subreg_sign_ext_11APR2012
  
  dbd80c9c