Commits · c3b7604f9b3e5b6e5d303affb261d9feae53e567 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Feb 24, 2016
- Corrections to CODEPTR type inference; avoid trying to shadow [ESP-k] entries... · ae4b47df
  clc5q authored 9 years ago
  ae4b47df
Feb 23, 2016
- Improve CODEPTR propagation; improve function pointer shadowing analyses. · 9f170927
  clc5q authored 9 years ago
  9f170927
- Improve function pointer shadowing analysis for the CODEPTR argument passing case. · 7acbbfaf
  clc5q authored 9 years ago
  7acbbfaf
Feb 22, 2016
- Begin using new SMPFunction::FindShadowingPoint2 method. · 6e97c806
  clc5q authored 9 years ago
  6e97c806
Feb 04, 2016
- Use new stack DEF map to speed up GetGlobalDefAddr(). · a410e685
  clc5q authored 9 years ago
  a410e685
Feb 02, 2016
- Fix EIP-relative lea inst RTL building. · 78d4fd96
  clc5q authored 9 years ago
  78d4fd96
Feb 01, 2016
- Normalize encoding of memory operands. · 8fc22652
  clc5q authored 9 years ago
  8fc22652
Jan 29, 2016
- Handle recursive fixed calls stack delta computations. · 5d3ac619
  clc5q authored 9 years ago
  5d3ac619
Jan 28, 2016
- Fix problems with operand printing in annotations and PC-relative 64-bit operands. · fff7ed84
  clc5q authored 9 years ago
  fff7ed84
Jan 18, 2016
- Don't copy REX.R bit from REX prefix byte into memory operands specflag4 byte. · c39c6d59
  clc5q authored 9 years ago
  c39c6d59
Jan 17, 2016
- Replace uses of GetOpDataSize() with STARS_op_t::GetByteWidth() and continue... · a3b6b166
  clc5q authored 9 years ago
  a3b6b166
Jan 15, 2016
- Improve propagation of CODEPTR type and expand analyses for function pointer shadowing. · 54dbf16d
  clc5q authored 9 years ago
  54dbf16d
Jan 12, 2016
- Be conservative in USE lists for calls or tail calls to linker stub functions... · ccd0f989
  clc5q authored 9 years ago
  ccd0f989
- Emit DEADREGS annotations for dead and redundant metadata instructions. · 1106e0f3
  clc5q authored 9 years ago
  1106e0f3
- Iterate over fixing call inst DEFs and USEs by breaking AdvancedAnalysis() into three methods. · 8a43480d
  clc5q authored 9 years ago
  8a43480d
Jan 11, 2016
- Detect potential multi-entry functions from code and data xrefs; avoid... · 678c1410
  clc5q authored 9 years ago
  678c1410
Jan 06, 2016
- Fix issues with indirect tail calls and fixed indirect calls. · 1a41ac49
  clc5q authored 9 years ago
  1a41ac49
Dec 30, 2015
- AddCallSource() for direct jump tail calls. · 2d361feb
  clc5q authored 9 years ago
  2d361feb
Dec 27, 2015
- Function pointer shadowing annotations. · 2a362ebc
  clc5q authored 9 years ago
  2a362ebc
Dec 17, 2015
- Build precise RTLs for SETcc opcodes. · 3c072020
  clc5q authored 9 years ago
  3c072020
Dec 16, 2015
- 32-bit moves into 64-bit regs zero out upper half of reg; take into account in DEF-USE chains. · a570f2a1
  clc5q authored 9 years ago
  a570f2a1
- Handle DEF-USE chains properly for subreg moves, which USE the DEF register by... · 3f8a44ee
  clc5q authored 9 years ago
  3f8a44ee
Dec 12, 2015
- Fix logic error that classifies certain lea instructions as no-ops. · b23127f5
  clc5q authored 9 years ago
  b23127f5
Dec 10, 2015
- Declare live metadata when a DEF reaches a BranchToOtherFunc. · 4494c317
  clc5q authored 9 years ago
  4494c317
- Eliminate IsFarBranch logic in IRDB or common code. · 4133f998
  clc5q authored 9 years ago
  4133f998
Dec 09, 2015
- Handle branches and jumps to distant funcs before we have marked tail calls... · 3eabcd45
  clc5q authored 9 years ago
  3eabcd45
- Treat branches to distant functions as tail calls when adjusting DEF and USE... · 40ac17dd
  clc5q authored 9 years ago
  40ac17dd
Dec 02, 2015
- Update 64-bit annotation files after DEADREGS changes. · 2976cb33
  clc5q authored 9 years ago
  2976cb33
Nov 09, 2015
- Extend fix on DEF of EAX not being removed on call instructions. · 9bba4936
  clc5q authored 9 years ago
  9bba4936
Nov 08, 2015
- Avoid removing the return value reg from the DEFs list of call instructions. · b1c16bc7
  clc5q authored 9 years ago
  b1c16bc7
- Fix DEF-USE issues with call instructions. · b5730161
  clc5q authored 9 years ago
  b5730161
Oct 27, 2015
- Improve loop analysis; continue SPARK Ada loop translation. · ff7f397d
  clc5q authored 9 years ago
  ff7f397d
Oct 15, 2015
- Build RTLs for vinsertf128 family of opcodes. · dc3de040
  clc5q authored 9 years ago
  dc3de040
Oct 14, 2015
- Fix chunk expansion algorithm using worklist to avoid interfering with IDA Pro... · df71297d
  clc5q authored 9 years ago
  df71297d
Oct 08, 2015
- Expand chunks to include interleaved orphan code regions. · 1ec9897c
  clc5q authored 9 years ago
  1ec9897c
Oct 05, 2015
- Emit BELONGTO annotations and FROMUNKNOWN *.STARSxrefs annotations for... · d0ba340d
  clc5q authored 9 years ago
  d0ba340d
Oct 01, 2015
- Make indirect writes safe if they come from loop-invariant stack copies. · 373860a0
  clc5q authored 9 years ago
  373860a0
Sep 25, 2015
- Bug fix: Retain original byte width for normalized stack operands. · c8befeea
  clc5q authored 9 years ago
  c8befeea
Sep 07, 2015
- Canonicalize 32-bit regs to 64-bit on 64-bit binaries. · 2a5ad929
  clc5q authored 9 years ago
  2a5ad929
Aug 08, 2015
- Get interprocedural killed regs info for chunked callees. · 428a0aee
  clc5q authored 9 years ago
  428a0aee