Commits · be4b6ecbc77ff394ebbb3762b042d9cc937b2186 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Mar 31, 2017
- Improved control flow analyses. · be4b6ecb
  clc5q authored 8 years ago
  be4b6ecb
Mar 29, 2017
- Emit SPARK incoming reg location info for regs that get copied to mem write... · ed0de764
  clc5q authored 8 years ago
  ed0de764
Mar 28, 2017
- Refactor code for loop preconditions, including all memory exprs, internal and inherited. · 06123212
  clc5q authored 8 years ago
  06123212
Mar 27, 2017
- Refactor SPARK output methods; handle symbolic analysis of indirect memory operands. · 38ef90a3
  clc5q authored 8 years ago
  38ef90a3
Mar 26, 2017
- SPARK contracts for inheritance of the PreservedRegs property in the call chain. · 6c84c228
  clc5q authored 8 years ago
  6c84c228
Mar 24, 2017
- SPARK loop analyses for sha benchmark, lower levels of the call graph. · 767fe623
  clc5q authored 8 years ago
  767fe623
Mar 20, 2017
- Combine SPARK loop memory exprs with common addressing registers but varying immediate offsets. · 03b64ed8
  clc5q authored 8 years ago
  03b64ed8
Mar 17, 2017
- SPARK translation improvements. · e657a849
  clc5q authored 8 years ago
  e657a849
Mar 16, 2017
- SPARK translation; generalize Expandperand(). · fc6b4549
  clc5q authored 8 years ago
  fc6b4549
Mar 14, 2017
- SPARK refactoring for loop output; diagnostic output improvements to log. · eb04e4e9
  clc5q authored 8 years ago
  eb04e4e9
Mar 11, 2017
- Refactor and clean up SPARK output stage for regular non-loop procedures,... · 4570f590
  clc5q authored 8 years ago
  4570f590
Mar 10, 2017
- SPARK translation updates. · c6bed551
  clc5q authored 8 years ago
  c6bed551
- SPARK: Handle loop-invariant writes inside loops. · 97792006
  clc5q authored 8 years ago
  97792006
Mar 06, 2017
- Improve inheritance of SPARK contracts. · f48dceb5
  clc5q authored 8 years ago
  f48dceb5
Mar 04, 2017
- SPARK updates and RTL precision updates for looping string opcodes. · cfa9d111
  clc5q authored 8 years ago
  cfa9d111
Mar 01, 2017
- SPARK translation work for the sha test case. · b77034fb
  clc5q authored 8 years ago
  b77034fb
Feb 22, 2017
- QOL improvements · cae70867
  jdh8d authored 8 years ago
  cae70867
Feb 16, 2017
- Add command-line option to trigger reduced analysis mode for large binaries... · ad669c23
  clc5q authored 8 years ago
  ad669c23
- Handle another SPARK memory case. · b3a02a73
  clc5q authored 8 years ago
  b3a02a73
- SPARK updates for sha test case; fix byte width issues for opcodes like lea edx,[rax+1]. · ebd299b6
  clc5q authored 8 years ago
  ebd299b6
Jan 23, 2017
- SPARK translation cleanup; indirect write assertions heuristic implementation. · 558b6c2d
  clc5q authored 8 years ago
  558b6c2d
Jan 19, 2017
- Translate only live flags in SPARK after arithmetic and compare or test opcodes. · 1b04e83b
  clc5q authored 8 years ago
  1b04e83b
Jan 16, 2017
- SPARK translation improvements. · 0394ec4a
  clc5q authored 8 years ago
  0394ec4a
Jan 03, 2017
- bug fixes to new build system. · f1c38f81
  jdh8d authored 8 years ago
  f1c38f81
- reworked testing harness to build correct .annot files for the tests the first time stars is built · 997df334
  jdh8d authored 8 years ago
  997df334
Jan 02, 2017
- Handle blocks that are loop tail blocks for two loops. · 18934f89
  clc5q authored 8 years ago
  18934f89
Dec 23, 2016
- IDA Pro 6.95 annotation diffs; FindConditionalFollowNode() improvement. · 6cc0c5f7
  clc5q authored 8 years ago
  6cc0c5f7
Dec 17, 2016
- Remove DATAPTR 0 annotations; SPARK translation improvements. · 1779e0db
  clc5q authored 8 years ago
  1779e0db
Dec 13, 2016
- SPARK translation updates. · a3820ca0
  clc5q authored 8 years ago
  a3820ca0
Nov 01, 2016
- Continue SPARK work. · 9ce09e3e
  clc5q authored 8 years ago
  9ce09e3e
Oct 26, 2016
- Add CODEPTR and DATAPTR annotations for pointer constants. · 72856507
  clc5q authored 8 years ago
  72856507
Oct 25, 2016
- Switch off SPARK-specific analyses. · 0f71b1b4
  clc5q authored 8 years ago
  0f71b1b4
- Loop analyses and memory writing region analyses. · b5f6960e
  clc5q authored 8 years ago
  b5f6960e
Aug 13, 2016
- Fixes for induction var analysis; code cleanup for cGC. · 71af0441
  clc5q authored 8 years ago
  71af0441
Aug 12, 2016
- GPR · 536986e5
  an7s authored 8 years ago
  536986e5
Jul 31, 2016
- Merge loop analysis work with CGC changes. · 15adfb1b
  clc5q authored 8 years ago
  15adfb1b
Jul 29, 2016
- Fix SAFE FUNCTION annotation bug · 0492673c
  an7s authored 8 years ago
  0492673c
Jul 07, 2016
- Fix SCCP annotations for resolved conditional branches. · 27382ff0
  clc5q authored 8 years ago
  27382ff0
- Annotate unreachable blocks and conditional branches that are always taken or... · 19c58b91
  clc5q authored 8 years ago
  19c58b91
Jul 06, 2016
- Uninit var detection; output disabled until USEs on call instructions can be... · 9347fc54
  clc5q authored 8 years ago
  9347fc54