Commits · 258e23a48e7e1aaec34cfb84b3fae369c50a79ea · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

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
Sep 25, 2011
- Fix incomplete assignment operators used in copy constructors; fix algorithm... · e48795bb
  clc5q authored 13 years ago
  
  Fix incomplete assignment operators used in copy constructors; fix algorithm for detecting aliased mem writes in global DU chains.
  View commits for tag code_cleanup_24SEP2011 code_cleanup_24SEP2011
  
  e48795bb
Sep 23, 2011
- Free global static data table memory early to reduce memory consumption. · f5446273
  clc5q authored 13 years ago
  
  View commits for tag memory_reduction_23SEP2011 memory_reduction_23SEP2011
  
  f5446273
- Reduce memory consumption. · be9a1e67
  clc5q authored 13 years ago
  
  View commits for tag memory_reduction_22SEP2011 memory_reduction_22SEP2011
  
  be9a1e67
Sep 21, 2011
- Fix backward compatibility problem with IDA Pro 5.1 (no MMX control register back then). · 0f98f993
  clc5q authored 13 years ago
  
  0f98f993
- More cleanup of unreachable basic blocks. · 56f80e10
  clc5q authored 13 years ago
  
  View commits for tag code_cleanup_21SEP2011 code_cleanup_21SEP2011
  
  56f80e10
Sep 17, 2011
- Build RTLs for MMX and SSE instructions used in current glibc. · 475a7cf4
  clc5q authored 13 years ago
  
  View commits for tag RTL_mmx_1 RTL_mmx_1
  
  475a7cf4
Sep 11, 2011
- Fix RTLs for SCAS and CMPS; eliminate spurious ERROR messages for LEA RTLs;... · cc78f63b
  clc5q authored 13 years ago
  
  Fix RTLs for SCAS and CMPS; eliminate spurious ERROR messages for LEA RTLs; reduce log messages to speed up; don't call profiler analysis methods if there are no profiler annotations.
  View commits for tag RTL_lea_scas_cmps RTL_lea_scas_cmps
  
  cc78f63b
- Do not treat calls to address 0 as calls, because these are only found in... · 990cb48d
  clc5q authored 13 years ago
  
  Do not treat calls to address 0 as calls, because these are only found in unreachable basic blocks that gcc failed to remove.
  View commits for tag call_nullptr call_nullptr
  
  990cb48d
Sep 10, 2011
- Identify self-recursive calls and pseudo-calls used as jumps within functions. · 024eb37a
  clc5q authored 13 years ago
  
  View commits for tag recursion_pseudo_calls recursion_pseudo_calls
  
  024eb37a
Sep 03, 2011
- Disable IDB fixup (code ID) until further code cleanup. · afde3771
  clc5q authored 13 years ago
  
  View commits for tag code_cleanup_02SEP2011 code_cleanup_02SEP2011
  
  afde3771
Aug 22, 2011
- IDA Pro 5.1 compatibility. · 0dece84e
  clc5q authored 13 years ago
  
  0dece84e
- Adjustments for IDA Pro version identification and UI suppression. · 9584e914
  mc2zk authored 13 years ago
  
  9584e914
- Committing SPEC2006/IDA Pro 6* related changes to allow UI suppression and IO redirect. · fd1f9f25
  mc2zk authored 13 years ago
  
  fd1f9f25
- Make plugin compile with IDA SDK versions prior to 5.2 that do not define IDA_SDK_VERSION. · 3cea42fa
  clc5q authored 13 years ago
  
  3cea42fa
Aug 20, 2011
- Fix infinite loops and crashes related to unreachable blocks and SSE/MMX... · d2afd156
  clc5q authored 13 years ago
  
  Fix infinite loops and crashes related to unreachable blocks and SSE/MMX instructions and registers.
  View commits for tag indirect_recursion_2_MMX indirect_recursion_2_MMX
  
  d2afd156
Aug 09, 2011
- Handle indirect calls within functions. · c60a86a4
  clc5q authored 13 years ago
  
  View commits for tag indirect_recursion indirect_recursion
  
  c60a86a4
Jun 29, 2011
- Bug fix and addition to print out that there is no function for some instructions · ee75c774
  jdh8d authored 13 years ago
  
  ee75c774
Jun 25, 2011
- Make static analyzer work with IDA 5.x and 6.x. · 8b90f2e6
  clc5q authored 13 years ago
  
  View commits for tag idapro6x_5x idapro6x_5x
  
  8b90f2e6
May 28, 2011
- Fix assertion failure caused by bad frsize value from IDA Pro 6.x. · bfffa4de
  clc5q authored 13 years ago
  
  View commits for tag idapro60_fix_1 idapro60_fix_1
  
  bfffa4de
May 19, 2011
- Fix crashes in IDA Pro 6 due to SMPFunction member FuncInfo getting locked and unlocked by IDA. · f04e1113
  clc5q authored 13 years ago
  
  View commits for tag idapro60_bad_2 idapro60_bad_2
  
  f04e1113