Commits · e53a674c8b7234e55620747178f66439622ba387 · Open Source Software / SMPStaticAnalyzer

Apr 03, 2019
- Commit synthetic test source code. · ba15264b
  Clark Coleman authored 6 years ago
  
  ba15264b
Feb 09, 2019
- Remove toy.exe binary. · eda2f68f
  Clark Coleman authored 6 years ago
  
  eda2f68f
Feb 08, 2019
- Remove binaries in quick directory. · ee3ce3a3
  Clark Coleman authored 6 years ago
  
  ee3ce3a3
Feb 07, 2019
- Remove test binaries. · 974ac8c3
  Clark Coleman authored 6 years ago
  
  974ac8c3
Feb 06, 2019
- Begin removing test binaries. · 69b1f41a
  Clark Coleman authored 6 years ago
  
  69b1f41a
May 27, 2018
- Trivial speedup; learning git. · 0e66d540
  Clark Coleman authored 6 years ago
  
  Former-commit-id: efc47ab76e0672f538a67b823b06e0081d1264d9
  0e66d540
Mar 22, 2018
- Better output for commit hook code · faa49d7b
  jdh8d authored 7 years ago
  
  Former-commit-id: 593a3ac48951c28ee8574fbbe8f42979ae654b24
  faa49d7b
Feb 19, 2018
- added getAddress and hasRepPrefix support to capstone · 12d167a2
  jdh8d authored 7 years ago
  
  Former-commit-id: 939c01951a64c43cb0c46ef19ee2361a9269568c
  12d167a2
Aug 03, 2017

· e8554768

jdh8d authored 7 years ago

Former-commit-id: 113bcc8fc212ddc11757b85c815c27367ace0455

e8554768

Jan 03, 2017
- bug fixes to new build system. · f1c38f81
  jdh8d authored 8 years ago
  
  Former-commit-id: 8fb87d43a2c339de45688553804e9bb25cce6e21
  f1c38f81
- reworked testing harness to build correct .annot files for the tests the first time stars is built · 997df334
  jdh8d authored 8 years ago
  
  Former-commit-id: a451241f77b8ccf394a16f7521de64c48cdeb91a
  997df334
Jan 02, 2017
- Handle blocks that are loop tail blocks for two loops. · 18934f89
  clc5q authored 8 years ago
  
  Former-commit-id: 2e349c679cf99b4ebeaffebeba44af9a26a656a3
  18934f89
Dec 23, 2016
- IDA Pro 6.95 annotation diffs; FindConditionalFollowNode() improvement. · 6cc0c5f7
  clc5q authored 8 years ago
  
  Former-commit-id: 0300a5214c56ef1fe09bba146d73be6f80444852
  6cc0c5f7
Dec 17, 2016
- Remove DATAPTR 0 annotations; SPARK translation improvements. · 1779e0db
  clc5q authored 8 years ago
  
  Former-commit-id: 7555fe786cc347e680f706aab4ddaa42add65066
  1779e0db
Dec 13, 2016
- SPARK translation updates. · a3820ca0
  clc5q authored 8 years ago
  
  Former-commit-id: 6dc99225d66a19e035506685bff4988dfbe4deff
  a3820ca0
Oct 26, 2016
- Add CODEPTR and DATAPTR annotations for pointer constants. · 72856507
  clc5q authored 8 years ago
  
  Former-commit-id: 10310044874d2aaf56d91e738c91dd51cb9c3371
  72856507
Oct 25, 2016
- Loop analyses and memory writing region analyses. · b5f6960e
  clc5q authored 8 years ago
  
  Former-commit-id: 256e05a5ac526dbc0c768febece164d9e3b89e3b
  b5f6960e
Jul 07, 2016

Fix SCCP annotations for resolved conditional branches. · 27382ff0
clc5q authored 8 years ago
```
Former-commit-id: 1c01013a28be18ad5e97959ed3a2c0f3e597988d
```
27382ff0

Annotate unreachable blocks and conditional branches that are always taken or... · 19c58b91

clc5q authored 8 years ago

Annotate unreachable blocks and conditional branches that are always taken or never taken, based on SCCP.

Former-commit-id: 3d6f59c7c18718c3c45b6c6f275ced9714597312

19c58b91

Jun 24, 2016
- Emit DEADREGS in SMPInstr::EmitTypeAnnotations() for all instructions. · 2dcef65c
  clc5q authored 8 years ago
  
  Former-commit-id: c1b3fca1058c5be8271ee93b3f1a931a0200fa14
  2dcef65c
- Continue induction var analysis; loop speedup using block iteration instead of inst iteration. · be0cf119
  clc5q authored 8 years ago
  
  Former-commit-id: 958beced9a9a499140d5c8c94cb635d20a2dd2ec
  be0cf119
Jun 20, 2016
- DEADREGS for COMPLETE return instructions; continue induction variable ID work. · b84a79d5
  clc5q authored 8 years ago
  
  Former-commit-id: 2bfa037e6932f45419d2e3fbbf3fb98ff952a758
  b84a79d5
May 28, 2016
- Ultra-conservative DEADREGS at call sites. · 9fa6272c
  clc5q authored 8 years ago
  
  Former-commit-id: 6c6130696cd9b95a6bb982216e3c78f418a25769
  9fa6272c
May 25, 2016
- Missing FUNC SAFE annotation diffs from MultiEntry fix. · 15639ff6
  clc5q authored 8 years ago
  
  Former-commit-id: dfb3614df7f37f184051e9bdfb4893a3b53cc757
  15639ff6
May 17, 2016
- Improve safe mem write analysis and safe function analysis. · 510a08ea
  clc5q authored 8 years ago
  
  Former-commit-id: 3fa925ae48c3719e95712fd2c574ed2ee7beb073
  510a08ea
May 16, 2016
- Eliminate false MultiEntry claim for funcs with code addresses taken in switch tables. · 4e4576e8
  clc5q authored 8 years ago
  
  Former-commit-id: 1c9088bb86dc75f8636badd23b89fc07808da015
  4e4576e8
May 13, 2016

DEADREGS work; handle local names of other blocks that are not referenced in... · 1c63b5a4

clc5q authored 8 years ago

DEADREGS work; handle local names of other blocks that are not referenced in current block, convert nops from data back to code when following a CALL.

Former-commit-id: 3c39474ea207d5cbc18dbbedf7685cf0f7ac779d

1c63b5a4

May 11, 2016
- Clean up multiply and divide RTL construction, handling IDA and IRDB operand lists equally. · fe4baa48
  clc5q authored 8 years ago
  
  Former-commit-id: 0d1ccce9d7da5438e05c9ede5732bef521e22cc3
  fe4baa48
May 09, 2016
- Eliminate DEADREGS annotations on multi-entry functions. · abbe4be2
  clc5q authored 8 years ago
  
  Former-commit-id: 509582bcccac0d0756f6a014b10b77910a11cf54
  abbe4be2
May 06, 2016
- DEADREGS fixes for subword operations. · a6898738
  clc5q authored 8 years ago
  
  Former-commit-id: dbf2b29d58b90b5b0151498a8f3bbbd8b25eb9de
  a6898738
- Annotation diffs from previous DEADREGS fix for indirect calls. · cf4c55bb
  clc5q authored 8 years ago
  
  Former-commit-id: 18b332a41eea526807e38bd1eeb0d69236b231dd
  cf4c55bb
May 05, 2016
- Perform tests in correct order in IsGlobalRegRead(). · 65812a64
  clc5q authored 8 years ago
  
  Former-commit-id: d26182dd47b81394d5230734059423b04b600673
  65812a64
- Generalize DEADREGS pass-through case for callee-saved regs. · 4e5e39bc
  clc5q authored 8 years ago
  
  Former-commit-id: 9c6eeb034848931a763938bd91d9e826384f9302
  4e5e39bc
- Improve safe indirect writes intraprocedural analysis. · edf0b91d
  clc5q authored 8 years ago
  
  Former-commit-id: 46b7504afd4116e9c7e1a66a2df28efbeb8457b6
  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
  
  Former-commit-id: 407f83826ef32a971e3967da525af72adcf71b50
  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
```
Former-commit-id: a915d00f9bdd52e9adb059befb9055bcf253952a
```
93e3d802

Add Dan's Guardian test case; don't search for 32-bit code addresses in 64-bit... · 83a85828

clc5q authored 9 years ago

Add Dan's Guardian test case; don't search for 32-bit code addresses in 64-bit data sections; mark IBT as COMPLETE when SCCP resolves indirect call target.

Former-commit-id: 106ed98c01ab85f7eddf4f01455de27193dafcac

83a85828

Feb 24, 2016

Corrections to CODEPTR type inference; avoid trying to shadow [ESP-k] entries... · ae4b47df

clc5q authored 9 years ago

Corrections to CODEPTR type inference; avoid trying to shadow [ESP-k] entries in the SSA marker inst.

Former-commit-id: 9afd2880bc6fb99302143ae6340fe566f33fbe2b

ae4b47df

Feb 23, 2016
- Improve CODEPTR propagation; improve function pointer shadowing analyses. · 9f170927
  clc5q authored 9 years ago
  
  Former-commit-id: 50f098445906c24569893f3a41ff48f84aa75104
  9f170927
- Improve function pointer shadowing analysis for the CODEPTR argument passing case. · 7acbbfaf
  clc5q authored 9 years ago
  
  Former-commit-id: 2f024cf5a76a36f7da08d98ab62026875f16ff2f
  7acbbfaf