Commits · 9ce09e3e90eb6d6326aceab6e62f9ab676b142ab · Open Source Software / SMPStaticAnalyzer

Nov 01, 2016
- Continue SPARK work. · 9ce09e3e
  clc5q authored 8 years ago
  
  Former-commit-id: f8a17a0c73c80669508c7daaf9ea1da63574f363
  9ce09e3e
Oct 25, 2016
- Loop analyses and memory writing region analyses. · b5f6960e
  clc5q authored 8 years ago
  
  Former-commit-id: 256e05a5ac526dbc0c768febece164d9e3b89e3b
  b5f6960e
Jul 31, 2016
- Merge loop analysis work with CGC changes. · 15adfb1b
  clc5q authored 8 years ago
  
  Former-commit-id: fe59e80868bb5efe7787d44ce96c2b540606890d
  15adfb1b
Jul 07, 2016

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 24, 2016
- 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 17, 2016
- Increased precision for CGC system call analysis. · e2168ff8
  clc5q authored 8 years ago
  
  Former-commit-id: 15bc586102fa82c3e9ab32d35060048617904420
  e2168ff8
Jun 16, 2016
- 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 07, 2016
- Translation of compound conditionals. · 391e2402
  clc5q authored 8 years ago
  
  Former-commit-id: 47766c4779b8f10f71864fdb9a31b46f6e7b5937
  391e2402
Jun 02, 2016
- Add STARS_regnum_t type and use it. · a8aa8cb6
  clc5q authored 8 years ago
  
  Former-commit-id: 5ea425775063029c03ef44b2dea299e8eae66e09
  a8aa8cb6
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
- Fix SPARK translation of loops into procedures. · 676b83ca
  clc5q authored 8 years ago
  
  Former-commit-id: ad2d573a33284625e0faf9994aaa755bb78b9383
  676b83ca
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 09, 2016
- Eliminate DEADREGS annotations on multi-entry functions. · abbe4be2
  clc5q authored 8 years ago
  
  Former-commit-id: 509582bcccac0d0756f6a014b10b77910a11cf54
  abbe4be2
May 05, 2016
- Improve safe indirect writes intraprocedural analysis. · edf0b91d
  clc5q authored 8 years ago
  
  Former-commit-id: 46b7504afd4116e9c7e1a66a2df28efbeb8457b6
  edf0b91d
Apr 08, 2016
- Continue SPARK Ada translation; loops to procedures. · 6f6293e2
  clc5q authored 8 years ago
  
  Former-commit-id: 8529eabf9b6e66c5896ad0f3d59d70ea9b3c9533
  6f6293e2
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

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

Speedup on large functions. · d79a1ca1
clc5q authored 9 years ago
```
Former-commit-id: c5edffb1ff109743af2c2e4c984b993e0c3496da
```
d79a1ca1

Feb 23, 2016
- Improve function pointer shadowing analysis for the CODEPTR argument passing case. · 7acbbfaf
  clc5q authored 9 years ago
  
  Former-commit-id: 2f024cf5a76a36f7da08d98ab62026875f16ff2f
  7acbbfaf
Feb 22, 2016
- Begin using new SMPFunction::FindShadowingPoint2 method. · 6e97c806
  clc5q authored 9 years ago
  
  Former-commit-id: 677a1fd5e80131cc897f763437d42231b066f9da
  6e97c806
Feb 17, 2016
- Continue work on function pointer shadowing. · 13f113b6
  clc5q authored 9 years ago
  
  Former-commit-id: eb37bb73e8e600ba395e3190574a93cc28d2026d
  13f113b6
Feb 04, 2016
- Use new stack DEF map to speed up GetGlobalDefAddr(). · a410e685
  clc5q authored 9 years ago
  
  Former-commit-id: be29304c530d6812eb9985328d001b1d95649625
  a410e685
Feb 01, 2016
- Normalize encoding of memory operands. · 8fc22652
  clc5q authored 9 years ago
  
  Former-commit-id: 9c82291904911e85fb78fc87d3f0d9b21da702b2
  8fc22652
Jan 15, 2016
- Improve propagation of CODEPTR type and expand analyses for function pointer shadowing. · 54dbf16d
  clc5q authored 9 years ago
  
  Former-commit-id: 87d90330c3f8deb29b9c0c298979da0f98d21260
  54dbf16d
Jan 12, 2016
- Iterate over fixing call inst DEFs and USEs by breaking AdvancedAnalysis() into three methods. · 8a43480d
  clc5q authored 9 years ago
  
  Former-commit-id: a0d91c6fe8b81ff340af985bd08d99224406d4cc
  8a43480d
Jan 11, 2016
- Detect chains of tail calls that cause return to orphaned code. · 28f514ac
  clc5q authored 9 years ago
  
  Former-commit-id: dbfd0f99ba3a6c364d9a639af771b1b143470144
  28f514ac
Jan 07, 2016
- Do not mark return targets as COMPLETE if func is called from orphaned code. · cd28df6e
  clc5q authored 9 years ago
  
  Former-commit-id: b8385e6b7c7d8007fd4fd7c9a1826e267a3ec270
  cd28df6e
Jan 05, 2016
- Handle fixed indirect calls that become a push followed by an indirect jump. · 8f4e62e3
  clc5q authored 9 years ago
  
  Former-commit-id: d53527fc9169f7ebe06d988d23251d6bb5ebd84d
  8f4e62e3
Dec 30, 2015
- Make static container a private member to fix STARSxrefs output. · fbd753ca
  clc5q authored 9 years ago
  
  Former-commit-id: d9155a035bb03d985d62903e14eb659b6d8fbbfa
  fbd753ca
Dec 27, 2015
- Function pointer shadowing annotations. · 2a362ebc
  clc5q authored 9 years ago
  
  Former-commit-id: 24abe92076820fd34a5e749eece1557a52007f26
  2a362ebc
Dec 25, 2015
- Partial commit of function pointer shadowing logic. · b84c5ffb
  clc5q authored 9 years ago
  
  Former-commit-id: 4dbe1e2891ae337b9881a4212baa8afffc434c2e
  b84c5ffb
Dec 15, 2015
- Output return instruction targets to *.STARSxrefs files. · 34ce76e2
  clc5q authored 9 years ago
  
  Former-commit-id: aaf1efd938f0cf307ff6cfaf693e8e937aaf419e
  34ce76e2
Dec 04, 2015
- Fixes and cleanups for SPARK Ada translation. · 0c9e73fd
  clc5q authored 9 years ago
  
  Former-commit-id: 1e20c1306f474f69e082dbe7ee97644df311a360
  0c9e73fd
Nov 25, 2015
- Mark mutually recursive funcs; output postconditions for preserved regs. · bc382ff0
  clc5q authored 9 years ago
  
  Former-commit-id: 5ddb7481bebc56fd4cdc115971c25c127c07a894
  bc382ff0
Nov 19, 2015
- Conditional statement translation. · 13820827
  clc5q authored 9 years ago
  
  Former-commit-id: c562de85f1e6b027d824d25d5aca65907e35a5c4
  13820827
Nov 18, 2015
- Translate if-then-else to SPARK Ada. · 2ab283a3
  clc5q authored 9 years ago
  
  Former-commit-id: 3f7a0a96e6e60dcbed9cce91ad303b5a7d7dedb1
  2ab283a3