Commits · 62f4fcdcab708d35d082b4e3c60c292d07fd420c · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

May 05, 2016
- Implement HasSegReg() method. · 62f4fcdc
  clc5q authored 8 years ago
  62f4fcdc
- 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
- Use environment var for file name to work around IDA Pro failure on Red Hat Linux. · 0e151ffd
  clc5q authored 8 years ago
  0e151ffd
- Avoid crash when tracing truncations back to SSA marker instructions when... · bdcc1b59
  clc5q authored 8 years ago
  bdcc1b59
- Avoid crash on COND_BRANCH fall-through outside func. · a5b07121
  clc5q authored 8 years ago
  a5b07121
- Create SPARK Ada procedures for each loop. · c3e0fb68
  clc5q authored 8 years ago
  c3e0fb68
Apr 19, 2016
- unset LANG to prevent ida crash · 12b01731
  an7s authored 9 years ago
  12b01731
Apr 08, 2016
- Continue SPARK Ada translation; loops to procedures. · 6f6293e2
  clc5q authored 9 years ago
  6f6293e2
Mar 21, 2016
- Reduce memory; handle huge SSA numbers; add assertions; alter code size limit... · ed7639ca
  clc5q authored 9 years ago
  ed7639ca
Mar 20, 2016
- Save memory in SMPInstr. · db084726
  clc5q authored 9 years ago
  db084726
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
- SCCP: Return lattice bottom value for guarded RTLs, as with conditional moves. · c3b7604f
  clc5q authored 9 years ago
  c3b7604f
- Speedup on large functions. · d79a1ca1
  clc5q authored 9 years ago
  d79a1ca1
Mar 17, 2016
- Gather stats on return address set completeness and incompleteness. · cc54a1ae
  clc5q authored 9 years ago
  cc54a1ae
Mar 14, 2016
- Make void operands common within each instruction to save memory. · 0db51d41
  clc5q authored 9 years ago
  0db51d41
- Reduce memory in SMPInstr by getting address from INST_ID instead of caching it separately. · b05e801b
  clc5q authored 9 years ago
  b05e801b
- SPARK Ada improvements. · 6dc9bfdb
  clc5q authored 9 years ago
  6dc9bfdb
Mar 01, 2016
- Gather stats on function pointer shadowing. · 3daa2afe
  clc5q authored 9 years ago
  3daa2afe
Feb 28, 2016
- · b4f9c4d9
  jdh8d authored 9 years ago
  b4f9c4d9
- SPARK: Emit flag defs for add and sub opcodes. · 3e7aac26
  clc5q authored 9 years ago
  3e7aac26
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 21, 2016
- Build a few new RTLs for AVX opcodes. · 8bed0cbb
  clc5q authored 9 years ago
  8bed0cbb
Feb 18, 2016
- Build RTLs for odd opcodes; ensure robustness when RTLs are not built to avoid crashes. · 5437864b
  clc5q authored 9 years ago
  5437864b
Feb 17, 2016
- Continue work on function pointer shadowing. · 13f113b6
  clc5q authored 9 years ago
  13f113b6
Feb 04, 2016
- Use new stack DEF map to speed up GetGlobalDefAddr(). · a410e685
  clc5q authored 9 years ago
  a410e685
Feb 03, 2016
- Start mapping direct stack DEFs by SSA to instruction addresses. · 61426a99
  clc5q authored 9 years ago
  61426a99
- Refine IBT annotations with reason codes. · 87525118
  clc5q authored 9 years ago
  87525118
- Improve STARSxrefs annotations. · 0fa68463
  clc5q authored 9 years ago
  0fa68463
Feb 02, 2016
- Fix broken multi-line if-statement in macro. · 02a7ea7a
  clc5q authored 9 years ago
  02a7ea7a
- Fix broken multi-line if-statement in macro. · 500cc1cb
  clc5q authored 9 years ago
  500cc1cb
- Derived class fixes to remove const qualifier. · ffcb3bd4
  clc5q authored 9 years ago
  ffcb3bd4
- Derived class fixes to remove const qualifier. · b9c7495b
  clc5q authored 9 years ago
  b9c7495b
- Derived class fixes to remove const qualifier. · 67883d85
  clc5q authored 9 years ago
  67883d85
- Derived class fixes to remove const qualifier. · 08c22992
  clc5q authored 9 years ago
  08c22992
- Cache result to speed up IRDB GetIDAOpcode(). · b89a1445
  clc5q authored 9 years ago
  b89a1445