Commits · 7285650741a8bff555dd5fd49af6fee4aaa977b1 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Oct 26, 2016
- Add CODEPTR and DATAPTR annotations for pointer constants. · 72856507
  clc5q authored 8 years ago
  72856507
Oct 25, 2016
- Loop analyses and memory writing region analyses. · b5f6960e
  clc5q authored 8 years ago
  b5f6960e
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
Jun 24, 2016
- 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
May 28, 2016
- Ultra-conservative DEADREGS at call sites. · 9fa6272c
  clc5q authored 8 years ago
  9fa6272c
May 25, 2016
- Missing FUNC SAFE annotation diffs from MultiEntry fix. · 15639ff6
  clc5q authored 8 years ago
  15639ff6
May 17, 2016
- Improve safe mem write analysis and safe function analysis. · 510a08ea
  clc5q authored 8 years ago
  510a08ea
May 16, 2016
- Eliminate false MultiEntry claim for funcs with code addresses taken in switch tables. · 4e4576e8
  clc5q authored 8 years ago
  4e4576e8
May 13, 2016
- DEADREGS work; handle local names of other blocks that are not referenced in... · 1c63b5a4
  clc5q authored 8 years ago
  1c63b5a4
May 11, 2016
- Clean up multiply and divide RTL construction, handling IDA and IRDB operand lists equally. · fe4baa48
  clc5q authored 8 years ago
  fe4baa48
May 09, 2016
- Eliminate DEADREGS annotations on multi-entry functions. · abbe4be2
  clc5q authored 8 years ago
  abbe4be2
May 06, 2016
- DEADREGS fixes for subword operations. · a6898738
  clc5q authored 8 years ago
  a6898738
- Annotation diffs from previous DEADREGS fix for indirect calls. · cf4c55bb
  clc5q authored 8 years ago
  cf4c55bb
May 05, 2016
- Perform tests in correct order in IsGlobalRegRead(). · 65812a64
  clc5q authored 8 years ago
  65812a64
- Generalize DEADREGS pass-through case for callee-saved regs. · 4e5e39bc
  clc5q authored 8 years ago
  4e5e39bc
- Improve safe indirect writes intraprocedural analysis. · edf0b91d
  clc5q authored 8 years ago
  edf0b91d
May 03, 2016
- DEADREGS fix: Allow callee-saved regs to pass through a func without being declared dead. · 3eced7be
  clc5q authored 8 years ago
  3eced7be
Mar 19, 2016
- Reduce alignment requirement from 4 bytes to 2 for code address search in data sections. · 93e3d802
  clc5q authored 9 years ago
  93e3d802
- Add Dan's Guardian test case; don't search for 32-bit code addresses in 64-bit... · 83a85828
  clc5q authored 9 years ago
  83a85828
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