Commits · 6cc0c5f7432770c71aab18976f09fe8ff2273151 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

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
Jun 01, 2016
- Fix less-than operator for IRDB operands. · 15b9fd92
  clc5q authored 8 years ago
  15b9fd92
May 30, 2016
- Map inst mnemonics from bea to IDA for prefetch opcodes. · 4d96cfca
  clc5q authored 8 years ago
  4d96cfca
- Fix bea_regno value in switch again. · 21643dfb
  clc5q authored 8 years ago
  21643dfb
- Fix bea_regno value in switch again. · 65a6c1b7
  clc5q authored 8 years ago
  65a6c1b7
- Fix beaEngine register names. · 10b02caa
  clc5q authored 8 years ago
  10b02caa
- Fix IRDB problems discovered on libc. · 08361a4c
  clc5q authored 8 years ago
  08361a4c
May 28, 2016
- Ultra-conservative DEADREGS at call sites. · 9fa6272c
  clc5q authored 8 years ago
  9fa6272c
May 27, 2016
- Identify thunk functions, fix FindPreservedRegs error on funcs with multiple return points. · f6beb38a
  clc5q authored 8 years ago
  f6beb38a
May 26, 2016
- Continue SPARK translation improvements. · c1f98078
  clc5q authored 8 years ago
  c1f98078
- Fix X86.Memory Input and In_Out across loop spans. · 14e8a161
  clc5q authored 8 years ago
  14e8a161
- Fix SPARK translation of loops into procedures. · 676b83ca
  clc5q authored 8 years ago
  676b83ca
May 24, 2016
- Add options to skip analyses and speed up STARS for CGC and other projects. · 19f7a375
  clc5q authored 8 years ago
  19f7a375