Commits · 96b6b88d74a5fd79d92fe12ce97612087e07914f · Open Source Software / SMPStaticAnalyzer

Jun 03, 2022
- Prevent assertion failures. · b803f29d
  Clark Coleman authored 2 years ago
  
  b803f29d
Mar 01, 2022
- IDA Pro 7.6 opcode updates; reduce SPARK work done in non-SPARK-translation runs. · cca5d5be
  Clark Coleman authored 3 years ago
  
  cca5d5be
Apr 16, 2021
- Fix assertion failure in fib.exe move_globals test. · 8c560268
  Clark Coleman authored 3 years ago
  
  8c560268
Mar 15, 2021
- Revert "Revert "Merge branch 'master' of git.zephyr-software.com:opensrc/SMPStaticAnalyzer"" · 49830e85
  Jason Hiser authored 4 years ago
  
  This reverts commit 30a39087.
  49830e85
- Revert "Merge branch 'master' of git.zephyr-software.com:opensrc/SMPStaticAnalyzer" · 30a39087
  Jason Hiser authored 4 years ago
  
  This reverts commit c46040b7, reversing changes made to 0a39c68a.
  30a39087
Mar 11, 2021
- SPARK: Improvements to FindSingleExpression() and short-circuit expression translation. · 268287cd
  Clark Coleman authored 4 years ago
  
  268287cd
Feb 10, 2021
- SPARK: Massive update to implement block cloning to structured CFGs for translation. · 9e2c2c6e
  Clark Coleman authored 4 years ago
  
  9e2c2c6e
Jan 02, 2021
- SPARK: Some fixes; prep for basic block cloning. · 55fa551a
  Clark Coleman authored 4 years ago
  
  55fa551a
Dec 21, 2020
- SPARK: switch statement fixex, code cleanup. · 8b65295d
  Clark Coleman authored 4 years ago
  
  8b65295d
Dec 16, 2020
- SPARK: Switch statement analysis and other CFG fixes. · 4a7a5006
  Clark Coleman authored 4 years ago
  
  4a7a5006
Oct 31, 2020
- SPARK: Prep work for translating loops with multiple follow blocks. · 69228a5a
  Clark Coleman authored 4 years ago
  
  69228a5a
Oct 05, 2020
- SPARK: Add INVERTED_LOOP_BACK type, detect it, follow its successor when StaysInLoop is true. · fc64d978
  Clark Coleman authored 4 years ago
  
  fc64d978
Dec 28, 2018
- added initial ARM support by specifying DFAControl flow information for ARM · e86e7057
  Jason Hiser authored 6 years ago
  
  e86e7057
Dec 24, 2018
- Improved induction variable identification for optimized binary code patterns. · a04dd127
  Clark Coleman authored 6 years ago
  
  a04dd127
Jul 21, 2018
- Improve SCCP, CONSTARG annotations, and track args to strcpy_chk() just like strcpy() is tracked. · ebe26e04
  Clark Coleman authored 6 years ago
  
  ebe26e04
Jul 20, 2018
- Fixes to SCCP and annotations for const-siz malloc buffers passed to vulnerable library functions. · 953ff0e1
  Clark Coleman authored 6 years ago
  
  953ff0e1
May 15, 2018
- Output more alarms, exclude segregs from data flow operand category. · 5f738e50
  clc5q authored 6 years ago
  
  Former-commit-id: 3c2818998ead6beb6ec4f163192336c8dee8711e
  5f738e50
May 09, 2018

Formatting of STACKMEMRANGE annotations, prep work for emitting those... · 6de342b4

clc5q authored 6 years ago

Formatting of STACKMEMRANGE annotations, prep work for emitting those annotationg for StackPtrCopy instructions involved in mem writes.

Former-commit-id: 9a987eac0ad409cc3dfd2ecb8052f34f14d55c8a

6de342b4

Apr 20, 2018
- Speed-up of AliasAnalysis(). · 6ae6d1f7
  clc5q authored 6 years ago
  
  Former-commit-id: cd37eab99429883037c68cf4c2ed05ac4a78871e
  6ae6d1f7
Apr 04, 2018
- Reduce spurious ERROR logs. · 6908402f
  clc5q authored 6 years ago
  
  Former-commit-id: e1fd5a4d53fbc67b1cde26990eebdad0fa5a5cd1
  6908402f
Feb 15, 2018
- Handle the insane deletion of two opcodes in IDA Pro 7.0. · 33e50cc0
  clc5q authored 7 years ago
  
  Former-commit-id: 3e7c2fcb51009cceb1198018daeb1b59b3c5327a
  33e50cc0
Nov 30, 2017
- Updates to handle IDA Pro 7.0 release. · d073ab12
  clc5q authored 7 years ago
  
  Former-commit-id: 33bcf1b3f2abc33e6df79221c8baabe40c5a495e
  d073ab12
Sep 08, 2017
- Fix SCCP errors; enable more compiler warnings, add a couple of warning fixes. · 667922a7
  clc5q authored 7 years ago
  
  Former-commit-id: f314e9dfb916fb4af72ea81cd7c31124dc1a3839
  667922a7
Aug 04, 2017
- Improve type inference debug output for SMPTypeMeet errors. · 54278cbb
  clc5q authored 7 years ago
  
  Former-commit-id: 006f0b47220b8e8fd97e78c8ad8e955384232c66
  54278cbb
Jul 17, 2017
- Fixes for loop analyses across regression tests. · fa9d667b
  clc5q authored 7 years ago
  
  Former-commit-id: 1a4ff933d0c4d5ce68b1e9726026c1c12922025c
  fa9d667b
Jul 04, 2017
- SPARK cleanup, and fixes for FindConditionalFollowNode(). · 7000b465
  clc5q authored 7 years ago
  
  Former-commit-id: 0fe7e9297b16fde689d9a5674e82ada9cbb24c13
  7000b465
May 27, 2017
- Handle mem exprs with global static mem writes, and other fixes for test case synthetic.c. · 5e39d036
  clc5q authored 7 years ago
  
  Former-commit-id: c6543a879f251195e4314e9d4c6b8b44cb92c0b9
  5e39d036
Apr 22, 2017
- Implement critical argument shadowing defense. · 84d2b183
  clc5q authored 7 years ago
  
  Former-commit-id: 050776c085eac062c9b378076118d996345544f6
  84d2b183
Mar 31, 2017
- Improved control flow analyses. · be4b6ecb
  clc5q authored 7 years ago
  
  Former-commit-id: 7dc9f626c3d43d11bacd471e3a95e52a68e9a889
  be4b6ecb
Mar 29, 2017

Emit SPARK incoming reg location info for regs that get copied to mem write... · ed0de764

clc5q authored 7 years ago

Emit SPARK incoming reg location info for regs that get copied to mem write address regs in the loop.

Former-commit-id: ab95603a28557cf76630156e5e5ce7d01895f37c

ed0de764

Mar 27, 2017
- Refactor SPARK output methods; handle symbolic analysis of indirect memory operands. · 38ef90a3
  clc5q authored 7 years ago
  
  Former-commit-id: 601efff35a675d3b1a85f201fdc095daf32206ee
  38ef90a3
Mar 20, 2017
- Combine SPARK loop memory exprs with common addressing registers but varying immediate offsets. · 03b64ed8
  clc5q authored 8 years ago
  
  Former-commit-id: 64ae639d60e6c7dc9cdd2086bd5d67a4a3553fc7
  03b64ed8
Feb 16, 2017
- SPARK updates for sha test case; fix byte width issues for opcodes like lea edx,[rax+1]. · ebd299b6
  clc5q authored 8 years ago
  
  Former-commit-id: bdb919af1468f3a929b5a735b6221a50fe5f2047
  ebd299b6
Jan 23, 2017
- SPARK translation cleanup; indirect write assertions heuristic implementation. · 558b6c2d
  clc5q authored 8 years ago
  
  Former-commit-id: 22c94d9650fb771c3b3e78ce3cc18deff5700f62
  558b6c2d
Jan 19, 2017
- Translate only live flags in SPARK after arithmetic and compare or test opcodes. · 1b04e83b
  clc5q authored 8 years ago
  
  Former-commit-id: fcdd33b0ab180a7089574e341452da9701ffa09b
  1b04e83b
Dec 17, 2016
- Remove DATAPTR 0 annotations; SPARK translation improvements. · 1779e0db
  clc5q authored 8 years ago
  
  Former-commit-id: 7555fe786cc347e680f706aab4ddaa42add65066
  1779e0db
Dec 13, 2016
- SPARK translation updates. · a3820ca0
  clc5q authored 8 years ago
  
  Former-commit-id: 6dc99225d66a19e035506685bff4988dfbe4deff
  a3820ca0
Oct 25, 2016
- Loop analyses and memory writing region analyses. · b5f6960e
  clc5q authored 8 years ago
  
  Former-commit-id: 256e05a5ac526dbc0c768febece164d9e3b89e3b
  b5f6960e
Jun 26, 2016
- support to re-invoke stars within an xform · 081ec738
  jdh8d authored 8 years ago
  
  Former-commit-id: 62f62ba2799dc21f09b9a475af42ecd3d7095800
  081ec738
Jun 07, 2016
- Translation of compound conditionals. · 391e2402
  clc5q authored 8 years ago
  
  Former-commit-id: 47766c4779b8f10f71864fdb9a31b46f6e7b5937
  391e2402