Commits · c6bed551418f773ee900198a21e31a842e7bcaa7 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

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 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 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
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
Jun 30, 2016
- fixed re-init problem · 408518c1
  an7s authored 8 years ago
  408518c1
Jun 26, 2016
- support to re-invoke stars within an xform · 081ec738
  jdh8d authored 8 years ago
  081ec738
Jun 24, 2016
- Update for STARS to run after selective_cfi. · 20c0bad7
  jdh8d authored 8 years ago
  20c0bad7
- Emit DEADREGS in SMPInstr::EmitTypeAnnotations() for all instructions. · 2dcef65c
  clc5q authored 8 years ago
  2dcef65c
- Continue induction var analysis; loop speedup using block iteration instead of inst iteration. · be0cf119
  clc5q authored 8 years ago
  be0cf119
Jun 20, 2016
- DEADREGS for COMPLETE return instructions; continue induction variable ID work. · b84a79d5
  clc5q authored 8 years ago
  b84a79d5
Jun 17, 2016
- Increased precision for CGC system call analysis. · e2168ff8
  clc5q authored 8 years ago
  e2168ff8
Jun 16, 2016
- Fix assertion; treat syscalls as NOT being unresolved indirect calls to help... · 50afd777
  clc5q authored 8 years ago
  50afd777
- Complete basic induction variable identification. · 267583bf
  clc5q authored 8 years ago
  267583bf
Jun 11, 2016
- Track loop invariant DEFs per-loop for use in induction variable analysis later. · 882f124d
  clc5q authored 8 years ago
  882f124d
Jun 08, 2016
- Continue improving SPARK translation. · 5c65f20b
  clc5q authored 8 years ago
  5c65f20b
Jun 07, 2016
- Translation of compound conditionals. · 391e2402
  clc5q authored 8 years ago
  391e2402
Jun 02, 2016
- Fix SetSIB() to preserve fourth bit of index reg number. · f399f6f2
  clc5q authored 8 years ago
  f399f6f2
- Switch STARS_regnum_t to alias STARS_RegNo enum. · 3f15bb59
  clc5q authored 8 years ago
  3f15bb59
- Add STARS_regnum_t type and use it. · a8aa8cb6
  clc5q authored 8 years ago
  a8aa8cb6