Commits · 2f069fc402d9ebc254c5c83e5f2f54b7d51d601c · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

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 13, 2012
- Speed up InferTypes() by earlier use of InferPhiDefTypes(). · debb1af3
  clc5q authored 13 years ago
  
  View commits for tag code_cleanup_13FEB2012 code_cleanup_13FEB2012
  
  debb1af3
- Continue code cleanup and shrink-to-fit memory reduction. · d423bfa5
  clc5q authored 13 years ago
  
  d423bfa5
Feb 11, 2012
- Reduce DU chain offsets from unsigned int to unsigned short to reduce memory usage. · 1c692d50
  clc5q authored 13 years ago
  
  1c692d50
- Convert DU chains to use stored BaseAddr+offset to prepare for memory reduction. · dd28abbf
  clc5q authored 13 years ago
  
  dd28abbf
Feb 10, 2012
- Encapsulate def-use chains better, in preparation for memory usage reduction. · 1265fb29
  clc5q authored 13 years ago
  
  1265fb29
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 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
Dec 15, 2011
- Remove EXTR code segment processing from tag memory_reduction_12DEC2011 · fbaba58a
  clc5q authored 13 years ago
  
  View commits for tag memory_reduction_14DEC2011 memory_reduction_14DEC2011
  
  fbaba58a
Dec 12, 2011
- Revert to integer_errors_13 · dfcf8adb
  clc5q authored 13 years ago
  
  dfcf8adb
- 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
- Reduce memory consumption. · e2272030
  clc5q authored 13 years ago
  
  View commits for tag memory_reduction_12DEC2011 memory_reduction_12DEC2011
  
  e2272030
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 19, 2011
- Improve signedness propagation upwards from conditional branches that are signed or unsigned. · ceab5f08
  clc5q authored 13 years ago
  
  View commits for tag integer_errors_10 integer_errors_10
  
  ceab5f08
- Expand local variable tables to include incoming argument, callee-saved reg,... · b5fe60a5
  clc5q authored 13 years ago
  
  Expand local variable tables to include incoming argument, callee-saved reg, and return address locations.
  View commits for tag integer_errors_9 integer_errors_9
  
  b5fe60a5
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
- No commit message · 258e23a4
  jdh8d authored 13 years ago
  
  No commit message
  258e23a4
- 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
Nov 14, 2011
- Infer signedness and width of return value register from library function calls. · 08d807e1
  clc5q authored 13 years ago
  
  View commits for tag integer_errors_7 integer_errors_7
  
  08d807e1
Nov 13, 2011
- Improve FG info propagation including phi functions; clean up code. · e2876f2f
  clc5q authored 13 years ago
  
  View commits for tag integer_errors_6 integer_errors_6
  
  e2876f2f
Nov 07, 2011
- Implement new design for TRUNCATION and SIGNEDNESS annotations. · e2f78dbc
  clc5q authored 13 years ago
  
  View commits for tag integer_errors_5 integer_errors_5
  
  e2f78dbc
Nov 02, 2011
- Code cleanup and speedup. Give global dummy vars unique names. · 601185b9
  clc5q authored 13 years ago
  
  View commits for tag code_cleanup_02NOV2011 code_cleanup_02NOV2011
  
  601185b9
Nov 01, 2011
- Emit info annotations for functions with analysis problems. · 72d876fd
  clc5q authored 13 years ago
  
  View commits for tag func_problems_info_1 func_problems_info_1
  
  72d876fd
- Fix tables of which instructions DEF and USE the x86 flags. · 5847c051
  clc5q authored 13 years ago
  
  View commits for tag flags_def_use_1 flags_def_use_1
  
  5847c051
Oct 31, 2011
- Emit stack frame annotations even if no stack referent is needed, to aid PEASOUP project. · 39243c18
  clc5q authored 13 years ago
  
  View commits for tag outargs_region_1 outargs_region_1
  
  39243c18
Oct 30, 2011
- Implement OVERFLOW and UNDERFLOW annotations for non-multiply arithmetic opcodes. · 5da97737
  clc5q authored 13 years ago
  
  View commits for tag integer_errors_4 integer_errors_4
  
  5da97737
Oct 29, 2011
- Implement overflow check annotations for multiplications; code cleanup. · 8b74a8f7
  clc5q authored 13 years ago
  
  8b74a8f7
Oct 27, 2011
- Add signedness to TRUNCATION annotations. · 4e2e692b
  clc5q authored 13 years ago
  
  4e2e692b
- Compatibility fix for IDA Pro 5.1. · 9c7b8677
  clc5q authored 13 years ago
  
  9c7b8677
- Added --enable-reduced-analysis configure option · 48ec722e
  jdh8d authored 13 years ago
  
  48ec722e