Commits · 1265fb29a2acd17c53da39429e88d40912cdd4f0 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

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
- Mostly complete implementation of the portion of integer error · f471a981
  clc5q authored 13 years ago
  
  detection that emits TRUNCATION annotations.
  View commits for tag integer_errors_2 integer_errors_2
  
  f471a981
Oct 25, 2011
- Added SMP_REDUCED_ANALYSIS symbol to permit partial processing of huge benchmarks. · e76762c2
  clc5q authored 13 years ago
  
  View commits for tag reduced_analysis_1 reduced_analysis_1
  
  e76762c2
- Major portion of work to analyze signedness and width of operands. · d644005f
  clc5q authored 13 years ago
  
  View commits for tag integer_errors_1 integer_errors_1
  
  d644005f
Oct 17, 2011
- Handle new opcodes in category tables. · e96a8a8f
  clc5q authored 13 years ago
  
  View commits for tag handle_new_opcodes_1 handle_new_opcodes_1
  
  e96a8a8f
Sep 29, 2011
- Handle seemingly dead code that is actually C++ exception handling and stack unwinding code. · 9d9c46fc
  clc5q authored 13 years ago
  
  View commits for tag cpp_exception_cleanup_1 cpp_exception_cleanup_1
  
  9d9c46fc
Sep 26, 2011
- changes to smp analyze to avoid hanging if an error occurs. · 80a44bbd
  jdh8d authored 13 years ago
  
  80a44bbd