Commits · c1f98078303a7cb94ae347e816629f05cbaa27c0 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

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
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
- Write safety analysis, results not yet used. · d1a549b5
  clc5q authored 8 years ago
  d1a549b5
May 15, 2016
- Infrastructure work for memory write safety analysis. · 678706aa
  clc5q authored 8 years ago
  678706aa
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 10, 2016
- Replace container at() methods with [] preceded by loop-invariant assertions to check ranges. · 8a2eba5f
  clc5q authored 8 years ago
  8a2eba5f
May 09, 2016
- Comment out SCCP to save time until it is used for annotations. · cf626a37
  clc5q authored 8 years ago
  cf626a37
- Eliminate DEADREGS annotations on multi-entry functions. · abbe4be2
  clc5q authored 8 years ago
  abbe4be2
May 07, 2016
- Generalize EIP/CS-relative addressing detection. · 9863153c
  clc5q authored 8 years ago
  9863153c
May 06, 2016
- DEADREGS fixes for subword operations. · a6898738
  clc5q authored 8 years ago
  a6898738
- Make conservative USE lists for callee-saved regs apply properly to indirect calls. · 9ae7f241
  clc5q authored 8 years ago
  9ae7f241
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
- Handle EIP-relative operands in their IRDB form. · e9a3726b
  clc5q authored 8 years ago
  e9a3726b
- Avoid tracing StaticMemOp types when analyzing memory write safeness. · 61c5e14b
  clc5q authored 8 years ago
  61c5e14b
- 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
- 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 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
- 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
- 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
- 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