Commits · 3131261960dc54cf3ac503c09d8078aa7049843d · Open Source Software / SMPStaticAnalyzer

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
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 20, 2016
- Save memory in SMPInstr. · db084726
  clc5q authored 9 years ago
  
  Former-commit-id: 1d2351495d15d5ffe1ff4717287720eb99cedda7
  db084726
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 14, 2016
- Reduce memory in SMPInstr by getting address from INST_ID instead of caching it separately. · b05e801b
  clc5q authored 9 years ago
  
  Former-commit-id: 3ea7d5c448e3bf00c9fcad06851c774a59c7fd5d
  b05e801b
- SPARK Ada improvements. · 6dc9bfdb
  clc5q authored 9 years ago
  
  Former-commit-id: 98bafdff23b79c34c690cb534c5517e79a9f4771
  6dc9bfdb
Feb 28, 2016
- SPARK: Emit flag defs for add and sub opcodes. · 3e7aac26
  clc5q authored 9 years ago
  
  Former-commit-id: eb4f41da3cc9e91cb2f931dcd68558865c48af52
  3e7aac26
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 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 19, 2016
- Emit IBT annotations for computed-goto libc patterns in orphaned code. · 9dcbbd36
  clc5q authored 9 years ago
  
  Former-commit-id: 9a2372f0a277f47233171e5f82e6782c1663cb66
  9dcbbd36
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
- Emit DEADREGS annotations for dead and redundant metadata instructions. · 1106e0f3
  clc5q authored 9 years ago
  
  Former-commit-id: c4a5d36d9518824cdd9dc24393a378037dc0f99d
  1106e0f3
- 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 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
- 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 17, 2015
- Build precise RTLs for SETcc opcodes. · 3c072020
  clc5q authored 9 years ago
  
  Former-commit-id: 906619b04ad832a20c46ed29db0de5a46752f94d
  3c072020
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
Dec 11, 2015
- Specify floating point RTL operators for add, sub, mul, divide. · 5bde654f
  clc5q authored 9 years ago
  
  Former-commit-id: d4697a2c4e84412c9c16b5f04e3138ebd981d356
  5bde654f
Dec 10, 2015
- Eliminate IsFarBranch logic in IRDB or common code. · 4133f998
  clc5q authored 9 years ago
  
  Former-commit-id: 8ab7eaf73c6cae02cdfb74331391bb04c6cc3c82
  4133f998
Dec 09, 2015

Treat branches to distant functions as tail calls when adjusting DEF and USE... · 40ac17dd

clc5q authored 9 years ago

Treat branches to distant functions as tail calls when adjusting DEF and USE lists before tail calls are detected.

Former-commit-id: 73a5f4afb47b2bae34030212ac700e2370a70703

40ac17dd

Dec 04, 2015
- Fixes and cleanups for SPARK Ada translation. · 0c9e73fd
  clc5q authored 9 years ago
  
  Former-commit-id: 1e20c1306f474f69e082dbe7ee97644df311a360
  0c9e73fd
Nov 30, 2015
- Constrain code xrefs to the real code range, not including XTRN segments. · 35ccd8e0
  clc5q authored 9 years ago
  
  Former-commit-id: 0dbc2a10bd350e98f165b3c7b74bd82f3357e362
  35ccd8e0
- DEADREGS fix; don't prune USEs from calls to linker stub functions. · 0c9e4a39
  clc5q authored 9 years ago
  
  Former-commit-id: 62799f70e51eab62ebd5278711f60756e0527e2d
  0c9e4a39
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
Nov 17, 2015
- Continue switch statement translation. · e3005c37
  clc5q authored 9 years ago
  
  Former-commit-id: ccb23cf6450fc178575cf9a7e66ee7b81dc1f7dc
  e3005c37