Commits · 95c5af56e0194b291507861696d200b1dd894b59 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Aug 14, 2012
- Emit info annotation for all memory operands. · 95c5af56
  clc5q authored 12 years ago
  
  95c5af56
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 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
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 07, 2012
- Fix FindOutgoingArgsSize() for cases with stack entries below the main... · 11aea916
  clc5q authored 12 years ago
  
  Fix FindOutgoingArgsSize() for cases with stack entries below the main allocation point; suppress signedness annotations on partial stores that do not overwrite the sign bit.
  View commits for tag outargs_signedness_06APR2012 outargs_signedness_06APR2012
  
  11aea916
Apr 06, 2012
- Suppress signedness checks on moves to outargs region. · 20ccb26a
  clc5q authored 12 years ago
  
  View commits for tag suppress_outargs_sign_checks_05APR2012 suppress_outargs_sign_checks_05APR2012
  
  20ccb26a
Apr 05, 2012
- Use stack operand bit width from IDA Pro when FGStackTable is not available. · d00d3f50
  clc5q authored 12 years ago
  
  View commits for tag stack_bit_width_04APR2012 stack_bit_width_04APR2012
  
  d00d3f50
Apr 04, 2012
- Detect infinite loops, emit annotation. · 2f069fc4
  clc5q authored 13 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 25, 2012
- Add function name to alarm message for policy violation locations. · 60b994f1
  clc5q authored 13 years ago
  
  View commits for tag security_policy_3 security_policy_3
  
  60b994f1
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
Dec 12, 2011
- Pull latest change, revert to previous. · 8b9aa593
  clc5q authored 13 years ago
  
  8b9aa593
- Handle special case in which IMUL opcode is used for unsigned operands. · 6e919343
  clc5q authored 13 years ago
  
  View commits for tag integer_errors_14 integer_errors_14
  
  6e919343
Dec 06, 2011
- Emit CHECK SIGNEDNESS UNSIGNED annotations when DEF is UNSIGNED. · 7ae5e3f6
  clc5q authored 13 years ago
  
  View commits for tag integer_errors_13 integer_errors_13
  
  7ae5e3f6
Dec 04, 2011
- Infer that registers with MEDS type of data or code ptr must be unsigned,... · 4451efbc
  clc5q authored 13 years ago
  
  Infer that registers with MEDS type of data or code ptr must be unsigned, handle 10-byte FPU operands.
  View commits for tag integer_errors_12 integer_errors_12
  
  4451efbc
Nov 26, 2011
- Save space on bools with bit-flag sets, and speed up code. · 712d92b2
  clc5q authored 13 years ago
  
  View commits for tag code_speedup_25NOV2011 code_speedup_25NOV2011
  
  712d92b2
Nov 22, 2011
- Complete the annotations for lea opcode; fix bugs. · 2f9d2982
  clc5q authored 13 years ago
  
  View commits for tag integer_errors_11 integer_errors_11
  
  2f9d2982
Nov 18, 2011
- Emit CHECK TRUNCATION NOFLAG annotations for lea opcodes. · 267d60ed
  clc5q authored 13 years ago
  
  View commits for tag integer_errors_8 integer_errors_8
  
  267d60ed
Nov 17, 2011
- Implement Zephyr Security Toolkit security policy checking for system calls. · 4ae5dde5
  clc5q authored 13 years ago
  
  View commits for tag security_policy_1 security_policy_1
  
  4ae5dde5