Commits · 4494c3171d354e7d25970c9e547bd7d3806607bf · Open Source Software / SMPStaticAnalyzer

Dec 10, 2015
- Declare live metadata when a DEF reaches a BranchToOtherFunc. · 4494c317
  clc5q authored 9 years ago
  
  Former-commit-id: cd54afbe4d9911ca8080d1b5ac4aaf53a6046540
  4494c317
- Eliminate IsFarBranch logic in IRDB or common code. · 4133f998
  clc5q authored 9 years ago
  
  Former-commit-id: 8ab7eaf73c6cae02cdfb74331391bb04c6cc3c82
  4133f998
Dec 09, 2015

Handle branches and jumps to distant funcs before we have marked tail calls... · 3eabcd45

clc5q authored 9 years ago

Handle branches and jumps to distant funcs before we have marked tail calls (phase ordering issue) in MDFixupDefUseLists().

Former-commit-id: d059227e68af07af631bec63d0a8d5e0a41bbeb9

3eabcd45

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 07, 2015
- Handle HALT instruction lack of fall-through properly in SMPFunction::SetLinks(). · 640c7f89
  clc5q authored 9 years ago
  
  Former-commit-id: 0bfaa86e2c63179454871d007b189ea03d2b5f09
  640c7f89
Dec 04, 2015
- Fixes and cleanups for SPARK Ada translation. · 0c9e73fd
  clc5q authored 9 years ago
  
  Former-commit-id: 1e20c1306f474f69e082dbe7ee97644df311a360
  0c9e73fd
Dec 02, 2015
- Add x86-64 callee-saved regs to return instruction USEs lists. · 634f1c3d
  clc5q authored 9 years ago
  
  Former-commit-id: 9db9cbda545cf58b1652a33391cf9101331bc190
  634f1c3d
- Add x86-64 caller-saved regs to return statement USE lists. · 301ca121
  clc5q authored 9 years ago
  
  Former-commit-id: 60cf80ed5cf437754a2a53f91c79a3ef97d030b5
  301ca121
Dec 01, 2015

Better safeguard for call to GetNextInstructionID() in INDIR_JUMP case with no... · 707b1dc6

clc5q authored 9 years ago

Better safeguard for call to GetNextInstructionID() in INDIR_JUMP case with no fall-through instruction.

Former-commit-id: 66b1d3656c858024caa44655e595b12fa79ebb7f

707b1dc6

Nov 30, 2015
- 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 15, 2015
- Keep switch analysis from changing annotations related to loop analysis. · ed74bc4f
  clc5q authored 9 years ago
  
  Former-commit-id: 97a4b7b36174448ae6fdc831fd3d5b2d21c8f6ac
  ed74bc4f
Nov 14, 2015
- Continue switch statement analysis and translation. · 3d1238dc
  clc5q authored 9 years ago
  
  Former-commit-id: 492334b4bcf3ebd071b174fe7627cb069cff5e38
  3d1238dc
Nov 09, 2015
- Add more debugging output. · dd68f925
  clc5q authored 9 years ago
  
  Former-commit-id: f1abafcd421bcf97c8cf8da323f8984a4bb9db6a
  dd68f925
- Fix linkage of fixed-call pushes to inst IDs. · d656e999
  clc5q authored 9 years ago
  
  Former-commit-id: d2f7475c267a1f396e29b2b9dc4a26a40ef5e509
  d656e999
- Fix assertion. · 4b0c5f62
  clc5q authored 9 years ago
  
  Former-commit-id: 8346f1aa61ec5d36ed7173c638e275d32b4a4644
  4b0c5f62
- Link fall-through blocks after fixed calls. · 2c9484e0
  clc5q authored 9 years ago
  
  Former-commit-id: dcc75d83b7b5bfcd9a2d4f11a08e310f702b523e
  2c9484e0
- Extend fix on DEF of EAX not being removed on call instructions. · 9bba4936
  clc5q authored 9 years ago
  
  Former-commit-id: c10f83be003712e503f90375e255a145589e34be
  9bba4936
Nov 08, 2015
- Avoid removing the return value reg from the DEFs list of call instructions. · b1c16bc7
  clc5q authored 9 years ago
  
  Former-commit-id: 317b1daa878400a5b3313e228b06244af9afc01d
  b1c16bc7
- Fix DEF-USE issues with call instructions. · b5730161
  clc5q authored 9 years ago
  
  Former-commit-id: 6e6cae12d865c0719212d21e7f70f8ab7f02b3fa
  b5730161
Nov 07, 2015

Guard against calls to GetNextInstructionID() for fixed-call jumps, which have... · 372e823a

clc5q authored 9 years ago

Guard against calls to GetNextInstructionID() for fixed-call jumps, which have no IRDB fall-through.

Former-commit-id: 6fc28e6bdc4ab7e42f11339fb526191b8e7984f1

372e823a

Fix for GetCallTarget() for fixed call jumps. · b4fd0817
clc5q authored 9 years ago
```
Former-commit-id: a0d8d222cb5d3b2b2df328a4609c98f01fc9f78c
```
b4fd0817

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
- 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 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

Oct 15, 2015

Clean up StaticMemOp processing to reflect that it can include an index... · 2d463091

clc5q authored 9 years ago

Clean up StaticMemOp processing to reflect that it can include an index register but no base register.

Former-commit-id: 1ea77fdf2e84e3422f791c388b1162271f8437ac

2d463091

Build RTLs for vinsertf128 family of opcodes. · dc3de040
clc5q authored 9 years ago
```
Former-commit-id: 957bf597a5b3b9c343a7ce60963a4f852dc62d25
```
dc3de040

Oct 14, 2015

Eliminate address range checks in SMPBasicBlock. · 0d1645e9
clc5q authored 9 years ago
```
Former-commit-id: c0195e327284c6b01b8220df142fa7d37b0c0e0b
```
0d1645e9

Fix chunk expansion algorithm using worklist to avoid interfering with IDA Pro... · df71297d

clc5q authored 9 years ago

Fix chunk expansion algorithm using worklist to avoid interfering with IDA Pro global vars and chunk iterator.

Former-commit-id: ab02d040ac0dfd9e3f078e0a62f1ab3b86d720e0

df71297d

Oct 13, 2015
- Turn on -Wall in IDA build and attack a slew of warning messages. · 75b59c48
  clc5q authored 9 years ago
  
  Former-commit-id: faed6110708c02ea46c60ec5d7614953fb86052c
  75b59c48
- Updates for Set/GetOpGlobalIndex. · 76316dc8
  jdh8d authored 9 years ago
  
  Former-commit-id: 1d17922d4931a016bffedadeb7a56944d1348a6a
  76316dc8
Oct 12, 2015
- Fix EraseInstRange() dependence on sequential addresses; make cosmetic changes. · fabc3f4b
  clc5q authored 9 years ago
  
  Former-commit-id: 9e06197ba38480b6f43e2d2d2d828ea93a15183c
  fabc3f4b