Commits · 8fc226522ef3b99c963986a301549b74af702b02 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Feb 01, 2016
- Normalize encoding of memory operands. · 8fc22652
  clc5q authored 9 years ago
  8fc22652
Jan 30, 2016
- added ClearSIB() function to disable the side fields in an operand · c73afb32
  jdh8d authored 9 years ago
  c73afb32
- added insn.length to GetAddr() for pc-relative memory operands. · bc3e43a9
  jdh8d authored 9 years ago
  bc3e43a9
Jan 28, 2016
- Fix problems with operand printing in annotations and PC-relative 64-bit operands. · fff7ed84
  clc5q authored 9 years ago
  fff7ed84
Jan 20, 2016
- Set byte widths for reg operands created in the IRDB side. · d3380e26
  clc5q authored 9 years ago
  d3380e26
Jan 19, 2016
- Emit IBT annotations for computed-goto libc patterns in orphaned code. · 9dcbbd36
  clc5q authored 9 years ago
  9dcbbd36
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 chains of tail calls that cause return to orphaned code. · 28f514ac
  clc5q authored 9 years ago
  28f514ac
- Detect potential multi-entry functions from code and data xrefs; avoid... · 678c1410
  clc5q authored 9 years ago
  678c1410
Jan 07, 2016
- Do not mark return targets as COMPLETE if func is called from orphaned code. · cd28df6e
  clc5q authored 9 years ago
  cd28df6e
Jan 06, 2016
- Fix issues with indirect tail calls and fixed indirect calls. · 1a41ac49
  clc5q authored 9 years ago
  1a41ac49
Jan 05, 2016
- Handle fixed indirect calls that become a push followed by an indirect jump. · 8f4e62e3
  clc5q authored 9 years ago
  8f4e62e3
Dec 30, 2015
- Make static container a private member to fix STARSxrefs output. · fbd753ca
  clc5q authored 9 years ago
  fbd753ca
Dec 27, 2015
- Function pointer shadowing annotations. · 2a362ebc
  clc5q authored 9 years ago
  2a362ebc
Dec 25, 2015
- Partial commit of function pointer shadowing logic. · b84c5ffb
  clc5q authored 9 years ago
  b84c5ffb
Dec 17, 2015
- Build precise RTLs for SETcc opcodes. · 3c072020
  clc5q authored 9 years ago
  3c072020
Dec 16, 2015
- Handle DEF-USE chains properly for subreg moves, which USE the DEF register by... · 3f8a44ee
  clc5q authored 9 years ago
  3f8a44ee
Dec 15, 2015
- Output return instruction targets to *.STARSxrefs files. · 34ce76e2
  clc5q authored 9 years ago
  34ce76e2
Dec 14, 2015
- Emit new COMPLETE annotations in *.STARSxrefs files. · 689ab1cb
  clc5q authored 9 years ago
  689ab1cb
Dec 11, 2015
- Fixes for dealing with scalefactor 0-4 instead of 1,2,4,8 · 1cc1e2e3
  jdh8d authored 9 years ago
  1cc1e2e3
- Specify floating point RTL operators for add, sub, mul, divide. · 5bde654f
  clc5q authored 9 years ago
  5bde654f
Dec 10, 2015
- Eliminate IsFarBranch logic in IRDB or common code. · 4133f998
  clc5q authored 9 years ago
  4133f998
Dec 09, 2015
- Treat branches to distant functions as tail calls when adjusting DEF and USE... · 40ac17dd
  clc5q authored 9 years ago
  40ac17dd
Dec 04, 2015
- Fixes and cleanups for SPARK Ada translation. · 0c9e73fd
  clc5q authored 9 years ago
  0c9e73fd
Nov 30, 2015
- Constrain code xrefs to the real code range, not including XTRN segments. · 35ccd8e0
  clc5q authored 9 years ago
  35ccd8e0
- DEADREGS fix; don't prune USEs from calls to linker stub functions. · 0c9e4a39
  clc5q authored 9 years ago
  0c9e4a39
Nov 25, 2015
- Mark mutually recursive funcs; output postconditions for preserved regs. · bc382ff0
  clc5q authored 9 years ago
  bc382ff0
Nov 19, 2015
- Conditional statement translation. · 13820827
  clc5q authored 9 years ago
  13820827
Nov 18, 2015
- Translate if-then-else to SPARK Ada. · 2ab283a3
  clc5q authored 9 years ago
  2ab283a3
Nov 17, 2015
- Continue switch statement translation. · e3005c37
  clc5q authored 9 years ago
  e3005c37
Nov 14, 2015
- Continue switch statement analysis and translation. · 3d1238dc
  clc5q authored 9 years ago
  3d1238dc
Nov 09, 2015
- Link fall-through blocks after fixed calls. · 2c9484e0
  clc5q authored 9 years ago
  2c9484e0
Nov 07, 2015
- Continue fixed call analysis. · 6d4da2c5
  clc5q authored 9 years ago
  6d4da2c5
Nov 05, 2015
- Continue translation work. · e66a39f9
  clc5q authored 9 years ago
  e66a39f9
Nov 04, 2015
- Added changes to support IsInstIDInFunc better, and implemented a... · 47fa981f
  jdh8d authored 9 years ago
  47fa981f
Oct 31, 2015
- SPARK Ada improvements for sign- and zero-extension and unary minus operands. · be49e528
  clc5q authored 9 years ago
  be49e528
Oct 29, 2015
- Remove extraneous inline keyword. · c5daca8b
  clc5q authored 9 years ago
  c5daca8b