Commits · ccd0f9895707d7e649eb436c36cd7c75cba6d5bf · Open Source Software / SMPStaticAnalyzer

Jan 12, 2016
- Be conservative in USE lists for calls or tail calls to linker stub functions... · ccd0f989
  clc5q authored 9 years ago
  
  Be conservative in USE lists for calls or tail calls to linker stub functions to ensure DEADREGS correctness. Former-commit-id: 0fc834a5652fc27b40a8e6b05124ce05e74b11b0
  ccd0f989
- 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

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
- 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 14, 2015
- Emit new COMPLETE annotations in *.STARSxrefs files. · 689ab1cb
  clc5q authored 9 years ago
  
  Former-commit-id: c80168bd4f04a0fe90c69ec9076d8be10f7c5280
  689ab1cb
Dec 11, 2015
- Fixes for dealing with scalefactor 0-4 instead of 1,2,4,8 · 1cc1e2e3
  jdh8d authored 9 years ago
  
  Former-commit-id: 3ae0a9ef1cafdc3ee7cc3d7c4d46ff5f9f08cf02
  1cc1e2e3
- 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
Nov 14, 2015
- Continue switch statement analysis and translation. · 3d1238dc
  clc5q authored 9 years ago
  
  Former-commit-id: 492334b4bcf3ebd071b174fe7627cb069cff5e38
  3d1238dc
Nov 09, 2015
- Link fall-through blocks after fixed calls. · 2c9484e0
  clc5q authored 9 years ago
  
  Former-commit-id: dcc75d83b7b5bfcd9a2d4f11a08e310f702b523e
  2c9484e0
Nov 07, 2015
- Continue fixed call analysis. · 6d4da2c5
  clc5q authored 9 years ago
  
  Former-commit-id: f18f1c70c37c34a59f19a914886dd03ffdcff71e
  6d4da2c5
Nov 05, 2015
- Continue translation work. · e66a39f9
  clc5q authored 9 years ago
  
  Former-commit-id: 2bacec87938e28638ba8856183fc8a24c8e48b48
  e66a39f9
Nov 04, 2015

Added changes to support IsInstIDInFunc better, and implemented a... · 47fa981f

jdh8d authored 9 years ago

Added changes to support IsInstIDInFunc better, and implemented a GetReferencedInstructionID method to STARS_Instruction_t.

Former-commit-id: 2d289cd76e27c69cc2f24080c32a8730a9d1a6b9

47fa981f

Oct 31, 2015
- SPARK Ada improvements for sign- and zero-extension and unary minus operands. · be49e528
  clc5q authored 9 years ago
  
  Former-commit-id: 7392478342634d9213189b9433af6f359bd744e2
  be49e528
Oct 29, 2015
- Remove extraneous inline keyword. · c5daca8b
  clc5q authored 9 years ago
  
  Former-commit-id: 72386e0bad48bf3a7eac1acf0353752586257e2d
  c5daca8b
- Continue work on handling calls that were fixed into a push and jump pair. · cad2ae4a
  clc5q authored 9 years ago
  
  Former-commit-id: 31fb3029528261ca60377215066dbdaf5e7d2950
  cad2ae4a
Oct 27, 2015
- Improve loop analysis; continue SPARK Ada loop translation. · ff7f397d
  clc5q authored 9 years ago
  
  Former-commit-id: a1268eac84f84886e025cbc6d94295ea31653fa8
  ff7f397d
Oct 19, 2015
- Update to get STARS working. · 089adaa9
  jdh8d authored 9 years ago
  
  Former-commit-id: c91d09ec5890126290c57532c35330eae3cc22e5
  089adaa9
Oct 18, 2015
- Move method into base class of STARSProgram. · 51287075
  clc5q authored 9 years ago
  
  Former-commit-id: 2c70517c4b7fdaf2062f72465f9f3156adcaf452
  51287075
Oct 17, 2015
- More prep work for recognizing calls that were converted to a push and a jump. · 2cc4225b
  clc5q authored 9 years ago
  
  Former-commit-id: 48b33f7d13c064323d96ab8cf667ded02707ae7b
  2cc4225b
- Build RTLs earlier and solve resulting phase ordering issues. · 46016d1d
  clc5q authored 9 years ago
  
  Former-commit-id: 2dcaddb490df7b6b6e263b572c51183c44514091
  46016d1d
Oct 16, 2015

SCCP: DEFs returned from call instructions must be of unknown value until we... · 51b67bb0

clc5q authored 9 years ago

SCCP: DEFs returned from call instructions must be of unknown value until we get interprocedural constant propagation. Prep work for calls converted to push and jump pairs.
Former-commit-id: 181e0e031297adb88d4461736aa37a6c64020e48

51b67bb0