Commits · fa9d667b1558bdc37318dbd1df609a3d4ecb499f · Open Source Software / SMPStaticAnalyzer

Jul 17, 2017
- Fixes for loop analyses across regression tests. · fa9d667b
  clc5q authored 7 years ago
  
  Former-commit-id: 1a4ff933d0c4d5ce68b1e9726026c1c12922025c
  fa9d667b
May 27, 2017
- Handle mem exprs with global static mem writes, and other fixes for test case synthetic.c. · 5e39d036
  clc5q authored 7 years ago
  
  Former-commit-id: c6543a879f251195e4314e9d4c6b8b44cb92c0b9
  5e39d036
May 08, 2017
- Fixes for argument and fptr shadowing. · 0a6cd1cd
  clc5q authored 7 years ago
  
  Former-commit-id: a529019e1411936230aa719f7c14430d4cb1b50f
  0a6cd1cd
May 04, 2017
- Improve argument shadowing. · 5cc6e12e
  clc5q authored 7 years ago
  
  Former-commit-id: 81e13fd1fcf658c2ab8461d5d15f0d3d726605d6
  5cc6e12e
Apr 22, 2017
- Implement critical argument shadowing defense. · 84d2b183
  clc5q authored 7 years ago
  
  Former-commit-id: 050776c085eac062c9b378076118d996345544f6
  84d2b183
Apr 21, 2017

Add command-line options for func ptr and arg shadowing, make common code for... · d99cad76

clc5q authored 7 years ago

Add command-line options for func ptr and arg shadowing, make common code for those two defenses; minor SPARK work.

Former-commit-id: bdd21a76912de7e4bf171bc5543218ae1b20e871

d99cad76

Apr 06, 2017
- Control flow analysis improvements. · 6d806aa9
  clc5q authored 7 years ago
  
  Former-commit-id: e34d931d4545e94912d14e8db3eabe51127e9411
  6d806aa9
Apr 02, 2017
- More control flow analysis improvements for if-then-else statements. · 0a372265
  clc5q authored 8 years ago
  
  Former-commit-id: ee1904214c1c9d2eb4b3ecf9e26d4a367049a344
  0a372265
Mar 31, 2017
- Improved control flow analyses. · be4b6ecb
  clc5q authored 8 years ago
  
  Former-commit-id: 7dc9f626c3d43d11bacd471e3a95e52a68e9a889
  be4b6ecb
Mar 29, 2017

Emit SPARK incoming reg location info for regs that get copied to mem write... · ed0de764

clc5q authored 8 years ago

Emit SPARK incoming reg location info for regs that get copied to mem write address regs in the loop.

Former-commit-id: ab95603a28557cf76630156e5e5ce7d01895f37c

ed0de764

Mar 28, 2017
- Refactor code for loop preconditions, including all memory exprs, internal and inherited. · 06123212
  clc5q authored 8 years ago
  
  Former-commit-id: e1619ec14233a7610bdfde16c614c05eed286aee
  06123212
Mar 27, 2017
- Refactor SPARK output methods; handle symbolic analysis of indirect memory operands. · 38ef90a3
  clc5q authored 8 years ago
  
  Former-commit-id: 601efff35a675d3b1a85f201fdc095daf32206ee
  38ef90a3
Mar 24, 2017
- SPARK loop analyses for sha benchmark, lower levels of the call graph. · 767fe623
  clc5q authored 8 years ago
  
  Former-commit-id: e88ded577a7a6610ebd0a3552bbe3717ad990292
  767fe623
Mar 20, 2017
- Combine SPARK loop memory exprs with common addressing registers but varying immediate offsets. · 03b64ed8
  clc5q authored 8 years ago
  
  Former-commit-id: 64ae639d60e6c7dc9cdd2086bd5d67a4a3553fc7
  03b64ed8
Mar 17, 2017
- SPARK translation improvements. · e657a849
  clc5q authored 8 years ago
  
  Former-commit-id: 3d6021ee9fac255b40b9ecb8e066f8db2f88f394
  e657a849
Mar 16, 2017
- SPARK translation; generalize Expandperand(). · fc6b4549
  clc5q authored 8 years ago
  
  Former-commit-id: d342710327e6d57a15fc2527ce52f31564c54b86
  fc6b4549
Mar 14, 2017
- SPARK refactoring for loop output; diagnostic output improvements to log. · eb04e4e9
  clc5q authored 8 years ago
  
  Former-commit-id: 93ecdb32813e27405ac6a913848793ad0889661b
  eb04e4e9
Mar 10, 2017
- SPARK translation updates. · c6bed551
  clc5q authored 8 years ago
  
  Former-commit-id: c59f5d9d57114ec3770e27122bcec7a69f3a4568
  c6bed551
- SPARK: Handle loop-invariant writes inside loops. · 97792006
  clc5q authored 8 years ago
  
  Former-commit-id: 6869e5dbab8f7168bc914c914fcf1747f0b0183a
  97792006
Mar 06, 2017
- Improve inheritance of SPARK contracts. · f48dceb5
  clc5q authored 8 years ago
  
  Former-commit-id: 45e505f743d688a2d014cd885936516821046486
  f48dceb5
Mar 04, 2017
- SPARK updates and RTL precision updates for looping string opcodes. · cfa9d111
  clc5q authored 8 years ago
  
  Former-commit-id: 53b6474a5894229889dc314b6d900aa6da5cfdfc
  cfa9d111
Mar 01, 2017
- SPARK translation work for the sha test case. · b77034fb
  clc5q authored 8 years ago
  
  Former-commit-id: 10253077ca5276f08c377454147e4fd7f22da277
  b77034fb
Feb 16, 2017
- Add command-line option to trigger reduced analysis mode for large binaries... · ad669c23
  clc5q authored 8 years ago
  
  Add command-line option to trigger reduced analysis mode for large binaries that might exhaust virtual memory. Former-commit-id: 82eea6e1ee6456c924d28b9106c033df17ebcb53
  ad669c23
- SPARK updates for sha test case; fix byte width issues for opcodes like lea edx,[rax+1]. · ebd299b6
  clc5q authored 8 years ago
  
  Former-commit-id: bdb919af1468f3a929b5a735b6221a50fe5f2047
  ebd299b6
Jan 23, 2017
- SPARK translation cleanup; indirect write assertions heuristic implementation. · 558b6c2d
  clc5q authored 8 years ago
  
  Former-commit-id: 22c94d9650fb771c3b3e78ce3cc18deff5700f62
  558b6c2d
Jan 19, 2017
- Translate only live flags in SPARK after arithmetic and compare or test opcodes. · 1b04e83b
  clc5q authored 8 years ago
  
  Former-commit-id: fcdd33b0ab180a7089574e341452da9701ffa09b
  1b04e83b
Jan 16, 2017
- SPARK translation improvements. · 0394ec4a
  clc5q authored 8 years ago
  
  Former-commit-id: dc0b142e58a7d76c436d40188bb840f2dc849b60
  0394ec4a
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
Nov 01, 2016
- Continue SPARK work. · 9ce09e3e
  clc5q authored 8 years ago
  
  Former-commit-id: f8a17a0c73c80669508c7daaf9ea1da63574f363
  9ce09e3e
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
Aug 13, 2016
- Fixes for induction var analysis; code cleanup for cGC. · 71af0441
  clc5q authored 8 years ago
  
  Former-commit-id: 0fb0ae8c5cc0841458a435d70e534a1dcd00a9b0
  71af0441
Jul 31, 2016
- Merge loop analysis work with CGC changes. · 15adfb1b
  clc5q authored 8 years ago
  
  Former-commit-id: fe59e80868bb5efe7787d44ce96c2b540606890d
  15adfb1b
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
Jun 20, 2016
- DEADREGS for COMPLETE return instructions; continue induction variable ID work. · b84a79d5
  clc5q authored 8 years ago
  
  Former-commit-id: 2bfa037e6932f45419d2e3fbbf3fb98ff952a758
  b84a79d5
Jun 17, 2016
- Increased precision for CGC system call analysis. · e2168ff8
  clc5q authored 8 years ago
  
  Former-commit-id: 15bc586102fa82c3e9ab32d35060048617904420
  e2168ff8