Commits · a3820ca06237916f2e4eea11e749b8e084e21dd8 · Open Source Software / SMPStaticAnalyzer

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
- Switch off SPARK-specific analyses. · 0f71b1b4
  clc5q authored 8 years ago
  
  Former-commit-id: c6d96744ab89510344bc286f4c8b8d13037689be
  0f71b1b4
- 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 29, 2016

Fix SAFE FUNCTION annotation bug · 0492673c

an7s authored 8 years ago

STARS marked all CGC system calls as SAFE, include receive().
receive() is now marked as UNSAFE.



Former-commit-id: 81307f549afc2fe7a2d97b9f4ee9554360b1b887

0492673c

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

Jul 06, 2016

Uninit var detection; output disabled until USEs on call instructions can be... · 9347fc54

clc5q authored 8 years ago

Uninit var detection; output disabled until USEs on call instructions can be made less conservative.

Former-commit-id: 693761feeb30ad9fe4a2fc48f2fc124c6abc0b65

9347fc54

Jun 26, 2016
- support to re-invoke stars within an xform · 081ec738
  jdh8d authored 8 years ago
  
  Former-commit-id: 62f62ba2799dc21f09b9a475af42ecd3d7095800
  081ec738
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
Jun 17, 2016
- Increased precision for CGC system call analysis. · e2168ff8
  clc5q authored 8 years ago
  
  Former-commit-id: 15bc586102fa82c3e9ab32d35060048617904420
  e2168ff8
Jun 16, 2016

Fix assertion; treat syscalls as NOT being unresolved indirect calls to help... · 50afd777

clc5q authored 8 years ago

Fix assertion; treat syscalls as NOT being unresolved indirect calls to help CGC (quick and dirty fix).

Former-commit-id: a1691d6302f7dcea1b172a27570ac0da0e19894a

50afd777

Complete basic induction variable identification. · 267583bf
clc5q authored 8 years ago
```
Former-commit-id: 382bb9d926889e9149f846768f7153f6f59d4e61
```
267583bf

Jun 11, 2016
- Track loop invariant DEFs per-loop for use in induction variable analysis later. · 882f124d
  clc5q authored 8 years ago
  
  Former-commit-id: 5ea21fe54bf514c9f4f8df66e7789c2468382948
  882f124d
Jun 08, 2016
- Continue improving SPARK translation. · 5c65f20b
  clc5q authored 8 years ago
  
  Former-commit-id: 1e0f9f99958710fcb87b5c985e6a47733d7ad03c
  5c65f20b
Jun 07, 2016
- Translation of compound conditionals. · 391e2402
  clc5q authored 8 years ago
  
  Former-commit-id: 47766c4779b8f10f71864fdb9a31b46f6e7b5937
  391e2402
Jun 02, 2016
- Switch STARS_regnum_t to alias STARS_RegNo enum. · 3f15bb59
  clc5q authored 8 years ago
  
  Former-commit-id: 0572c54541daf20f03f146c634e5d4e25322f400
  3f15bb59
- Add STARS_regnum_t type and use it. · a8aa8cb6
  clc5q authored 8 years ago
  
  Former-commit-id: 5ea425775063029c03ef44b2dea299e8eae66e09
  a8aa8cb6
May 28, 2016
- Ultra-conservative DEADREGS at call sites. · 9fa6272c
  clc5q authored 8 years ago
  
  Former-commit-id: 6c6130696cd9b95a6bb982216e3c78f418a25769
  9fa6272c
May 27, 2016
- Identify thunk functions, fix FindPreservedRegs error on funcs with multiple return points. · f6beb38a
  clc5q authored 8 years ago
  
  Former-commit-id: c73efcaa47cb22e6f35a4c1467d89afa79b553b6
  f6beb38a
May 26, 2016
- Continue SPARK translation improvements. · c1f98078
  clc5q authored 8 years ago
  
  Former-commit-id: c39182ce1e5eb5456b4f62f1f31f5192d2d45327
  c1f98078
- Fix X86.Memory Input and In_Out across loop spans. · 14e8a161
  clc5q authored 8 years ago
  
  Former-commit-id: 6838048aea9ad908f2c9920a8b64b060d84feedc
  14e8a161
- Fix SPARK translation of loops into procedures. · 676b83ca
  clc5q authored 8 years ago
  
  Former-commit-id: ad2d573a33284625e0faf9994aaa755bb78b9383
  676b83ca
May 24, 2016
- Add options to skip analyses and speed up STARS for CGC and other projects. · 19f7a375
  clc5q authored 8 years ago
  
  Former-commit-id: f0c6fb470a97adfd9c45c1ff29fba7e9e21a857e
  19f7a375
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
- Write safety analysis, results not yet used. · d1a549b5
  clc5q authored 8 years ago
  
  Former-commit-id: d941f55460e83bb9aaf29a52c6c975b774df639c
  d1a549b5
May 15, 2016
- Infrastructure work for memory write safety analysis. · 678706aa
  clc5q authored 8 years ago
  
  Former-commit-id: a1090c71703d11392fa3fc22e72098040b23166b
  678706aa
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 10, 2016
- Replace container at() methods with [] preceded by loop-invariant assertions to check ranges. · 8a2eba5f
  clc5q authored 8 years ago
  
  Former-commit-id: 889a0f68a059519d3ac637eb1357143a061707da
  8a2eba5f
May 09, 2016
- Comment out SCCP to save time until it is used for annotations. · cf626a37
  clc5q authored 8 years ago
  
  Former-commit-id: 51582131289cd92c619931cdcdb6149132f76c48
  cf626a37
- Eliminate DEADREGS annotations on multi-entry functions. · abbe4be2
  clc5q authored 8 years ago
  
  Former-commit-id: 509582bcccac0d0756f6a014b10b77910a11cf54
  abbe4be2
May 07, 2016
- Generalize EIP/CS-relative addressing detection. · 9863153c
  clc5q authored 8 years ago
  
  Former-commit-id: ae71cb99dc35fe490ef711cc1fc439041c7df21d
  9863153c
May 06, 2016
- DEADREGS fixes for subword operations. · a6898738
  clc5q authored 8 years ago
  
  Former-commit-id: dbf2b29d58b90b5b0151498a8f3bbbd8b25eb9de
  a6898738