Commits · 5da97737e9859efb6134d5dd7fbed319c807c7c8 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

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
May 13, 2011
- Conform to IDA Pro API; avoid obsoleted functions. · 8f3fdd35
  clc5q authored 13 years ago
  
  View commits for tag idapro_api idapro_api
  
  8f3fdd35
Apr 20, 2011
- Fix messages from cppcheck. · 016ba87c
  clc5q authored 13 years ago
  
  View commits for tag idapro60_bad_1 idapro60_bad_1
  
  016ba87c
Apr 19, 2011
- Eliminate compiler warnings and valgrind memcheck error; remove incomplete SBIR code. · 0f2d557b
  clc5q authored 13 years ago
  
  0f2d557b
Apr 11, 2011
- undid accidental commit 5449 · 650df54d
  jdh8d authored 13 years ago
  
  650df54d
Apr 08, 2011
- No commit message · 6e18e538
  jdh8d authored 13 years ago
  
  No commit message
  6e18e538
- Avoid failures due to terminal issues · abab405c
  jdh8d authored 13 years ago
  
  abab405c
Apr 07, 2011
- No commit message · ad13f0c1
  jdh8d authored 13 years ago
  
  No commit message
  ad13f0c1
- Fixed to use IDAPRO server if TVHEADLESS is set · 824238bc
  jdh8d authored 13 years ago
  
  824238bc
Mar 30, 2011
- Added copyright notices · 9f2d1d14
  jdh8d authored 14 years ago
  
  9f2d1d14