Commits · cfe0d7e99031d86d896bc14ac1e104c16be85e27 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

May 08, 2013
- Build RTLs for dryrun lib opcodes; fix uninit vars and clean up code; start... · cfe0d7e9
  clc5q authored 11 years ago
  
  Build RTLs for dryrun lib opcodes; fix uninit vars and clean up code; start mul by large const idiom recognition.
  View commits for tag new_RTLs_code_cleanup_07MAY2013 new_RTLs_code_cleanup_07MAY2013
  
  cfe0d7e9
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
- 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
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
Mar 31, 2013
- 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 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
Mar 23, 2013
- Infer signedness from opcodes; suppress overflow and underflow checks on small... · 46840831
  clc5q authored 12 years ago
  
  Infer signedness from opcodes; suppress overflow and underflow checks on small values from condition codes.
  View commits for tag opcode_signedness_benign_flags_22MAR2013 opcode_signedness_benign_flags_22MAR2013
  
  46840831
Mar 21, 2013
- 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
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 25, 2012
- Initial work to analyze stack pointer offsets. · 1e845d3d
  clc5q authored 12 years ago
  
  1e845d3d
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
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
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 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 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
- 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
- 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 13, 2012
- 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
- 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
Apr 10, 2012
- Infer and propagate signedness from conditional set instructions. · 15ef3995
  clc5q authored 12 years ago
  
  View commits for tag conditional_set_signedness_09APR2012 conditional_set_signedness_09APR2012
  
  15ef3995
Apr 04, 2012
- Detect infinite loops, emit annotation. · 2f069fc4
  clc5q authored 12 years ago
  
  View commits for tag infinite_loops_04APR2012 infinite_loops_04APR2012
  
  2f069fc4
Feb 16, 2012
- Improve type inference and speed it up by making it converge to a fixed point faster. · eeeb9a7b
  clc5q authored 13 years ago
  
  View commits for tag type_inference_16FEB2012 type_inference_16FEB2012
  
  eeeb9a7b
Feb 09, 2012
- Code cleanup, fix minor phase ordering issues, measure memory usage. · bca8420b
  clc5q authored 13 years ago
  
  View commits for tag code_cleanup_08FEB2012 code_cleanup_08FEB2012
  
  bca8420b
Feb 03, 2012
- Memory reduction and code cleanup. · dc0fdecf
  clc5q authored 13 years ago
  
  View commits for tag memory_reduction_03FEB2012 memory_reduction_03FEB2012
  
  dc0fdecf
Jan 24, 2012
- Increase max RTLs per inst back to 9 for pusha/popa opcodes. · f50aa54d
  clc5q authored 13 years ago
  
  f50aa54d
Jan 23, 2012
- Output INSTR SECURITYCALL annotations for policy violations to *.infoannot file. · 02db8cb9
  clc5q authored 13 years ago
  
  View commits for tag security_policy2 security_policy2
  
  02db8cb9
Dec 19, 2011
- Code speedup for type inference. · 03a84613
  clc5q authored 13 years ago
  
  View commits for tag code_speedup_19DEC2011 code_speedup_19DEC2011
  
  03a84613
Dec 16, 2011
- Back out processing of EXTRN segments from tag integer_errors_14. · d9e8d578
  clc5q authored 13 years ago
  
  View commits for tag integer_errors_15 integer_errors_15
  
  d9e8d578