Commits · ed7639cacb2bc23321e22aed900b9f6975beb7a7 · Open Source Software / SMPStaticAnalyzer

Mar 21, 2016

Reduce memory; handle huge SSA numbers; add assertions; alter code size limit... · ed7639ca

clc5q authored 9 years ago

Reduce memory; handle huge SSA numbers; add assertions; alter code size limit for 64-bit reduced processing.

Former-commit-id: 1b6cdbbd773d22eb7c3511cff5b9b656ff90d3e5

ed7639ca

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

Mar 17, 2016
- Gather stats on return address set completeness and incompleteness. · cc54a1ae
  clc5q authored 9 years ago
  
  Former-commit-id: 15aad6668afb27d67cc8b0017165156f19cff40b
  cc54a1ae
Mar 01, 2016
- Gather stats on function pointer shadowing. · 3daa2afe
  clc5q authored 9 years ago
  
  Former-commit-id: 5e72a34ef34d329ebd0aef42e8be68da22a4d459
  3daa2afe
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
Feb 22, 2016
- Begin using new SMPFunction::FindShadowingPoint2 method. · 6e97c806
  clc5q authored 9 years ago
  
  Former-commit-id: 677a1fd5e80131cc897f763437d42231b066f9da
  6e97c806
Feb 21, 2016
- Build a few new RTLs for AVX opcodes. · 8bed0cbb
  clc5q authored 9 years ago
  
  Former-commit-id: 2fb604dfd6728a3ee8ef97130391cc5e9c3a8f24
  8bed0cbb
Feb 18, 2016
- Build RTLs for odd opcodes; ensure robustness when RTLs are not built to avoid crashes. · 5437864b
  clc5q authored 9 years ago
  
  Former-commit-id: 1ad07f94b5256cd7e7863567248a097d5c260cf2
  5437864b
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 03, 2016
- Start mapping direct stack DEFs by SSA to instruction addresses. · 61426a99
  clc5q authored 9 years ago
  
  Former-commit-id: c9074f57f2304f0d89bb09f09fc97a356115b892
  61426a99
- Refine IBT annotations with reason codes. · 87525118
  clc5q authored 9 years ago
  
  Former-commit-id: 864cd696ee3979674a613dd79ce8aa0c86de74e4
  87525118
- Improve STARSxrefs annotations. · 0fa68463
  clc5q authored 9 years ago
  
  Former-commit-id: b8bd3fefcc0a412b141c6af8b340c5e73351fcea
  0fa68463
Feb 01, 2016
- Normalize encoding of memory operands. · 8fc22652
  clc5q authored 9 years ago
  
  Former-commit-id: 9c82291904911e85fb78fc87d3f0d9b21da702b2
  8fc22652
Jan 28, 2016
- Fix problems with operand printing in annotations and PC-relative 64-bit operands. · fff7ed84
  clc5q authored 9 years ago
  
  Former-commit-id: e54c0844f92141025b820c2d7ea9bb6b2453307a
  fff7ed84
Jan 22, 2016
- Clean up handling of no-ops. · 998a7938
  clc5q authored 9 years ago
  
  Former-commit-id: 790c5f55fbd87430d349dbb6094fa2ca35f1aa4c
  998a7938
Jan 20, 2016

Apply computed-goto pattern detection to functions just as it was applied to... · 9748eae3

clc5q authored 9 years ago

Apply computed-goto pattern detection to functions just as it was applied to orphaned code to emit IBT annotations.

Former-commit-id: a9d8aace7a5d1070e2741697a7a265883c22764d

9748eae3

Jan 19, 2016

Emit IBT annotations for computed-goto libc patterns in orphaned code. · 9dcbbd36
clc5q authored 9 years ago
```
Former-commit-id: 9a2372f0a277f47233171e5f82e6782c1663cb66
```
9dcbbd36

Expand IBT annotations for hell node case of unreachable blocks linked to... · a6416237

clc5q authored 9 years ago

Expand IBT annotations for hell node case of unreachable blocks linked to unresolved indirect jumps; fix SMPInstr::Dump() for the marker instruction to avoid calls to IRDB/beaEngine.

Former-commit-id: 38b401b99a8fd379bad975e4aa0b65d58bd3633f

a6416237

Jan 17, 2016
- Replace uses of GetOpDataSize() with STARS_op_t::GetByteWidth() and continue... · a3b6b166
  clc5q authored 9 years ago
  
  Replace uses of GetOpDataSize() with STARS_op_t::GetByteWidth() and continue to improve function pointer shadowing. Former-commit-id: d00329fbdffe72415d2749bfd49c507bf4b2bdf2
  a3b6b166
- Fix precision on debugging output. · 2363e4d5
  clc5q authored 9 years ago
  
  Former-commit-id: 179206d733cf90174f4cd7de6f0d63ce72dae7b7
  2363e4d5
- Add debugging output for AnalyzeStackPointerDeltas(). · db548ffc
  clc5q authored 9 years ago
  
  Former-commit-id: 989e91b7eb2b735b37756bf7181a092a706467c8
  db548ffc
Jan 16, 2016
- Safeguard to avoid STARS IRDB assertion failures. · 05606346
  clc5q authored 9 years ago
  
  Former-commit-id: 9184a03fe9547df82eb5c4e069eeca5076f035b3
  05606346
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

Detect potential multi-entry functions from code and data xrefs; avoid... · 678c1410

clc5q authored 9 years ago

Detect potential multi-entry functions from code and data xrefs; avoid COMPLETE return target STARSxrefs annotations for multi-entry functions.

Former-commit-id: 02ec8e8ed701d99884b8b444919265b134f8fe2b

678c1410

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 06, 2016
- Fix issues with indirect tail calls and fixed indirect calls. · 1a41ac49
  clc5q authored 9 years ago
  
  Former-commit-id: c12f900349479467bf542be1c3db67d2d65953ca
  1a41ac49
Jan 05, 2016
- Fix phase ordering assertion issue. · 774a1094
  clc5q authored 9 years ago
  
  Former-commit-id: 5b08f17e4b816d3c2a1e58a045d165abbe730f6a
  774a1094
- Handle fixed indirect calls that become a push followed by an indirect jump. · 8f4e62e3
  clc5q authored 9 years ago
  
  Former-commit-id: d53527fc9169f7ebe06d988d23251d6bb5ebd84d
  8f4e62e3
Jan 01, 2016
- Do not emit COMPLETE return targets annotations for multi-entry functions. · e8ffa191
  clc5q authored 9 years ago
  
  Former-commit-id: 9f737f7b99539713136f904fef94c6272b90889b
  e8ffa191
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 16, 2015

Handle DEF-USE chains properly for subreg moves, which USE the DEF register by... · 3f8a44ee

clc5q authored 9 years ago

Handle DEF-USE chains properly for subreg moves, which USE the DEF register by leaving upper bits unchanged.

Former-commit-id: 587f4ce223f7edc5118bd40fbefbf844abe438f6

3f8a44ee

Dec 15, 2015
- Output return instruction targets to *.STARSxrefs files. · 34ce76e2
  clc5q authored 9 years ago
  
  Former-commit-id: aaf1efd938f0cf307ff6cfaf693e8e937aaf419e
  34ce76e2