Commits · 2ab283a36eb7f62e7a3c9d69351d89bdf9a6f616 · Open Source Software / SMPStaticAnalyzer

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
Oct 11, 2015

Sign extend to 64 bits the operand of a 64-bit push opcode that takes a... · 9d78f0a3

clc5q authored 9 years ago

Sign extend to 64 bits the operand of a 64-bit push opcode that takes a narrower immediate or memory operand.

Former-commit-id: 4325774dde621d1c1b02665b5359e01f58e52ee6

9d78f0a3

Oct 09, 2015
- Undid -r 18423 commit. · 2ca0c9b4
  jdh8d authored 9 years ago
  
  Former-commit-id: 46ab830edeaf305a2f0d8244acf492cf43a2bdbd
  2ca0c9b4
- Get rid of use of GetSpecFlag4() in common code. · 568a96cc
  clc5q authored 9 years ago
  
  Former-commit-id: 4a5f2ebff64bb1186748a3e15de4808d14c11cbf
  568a96cc
Oct 08, 2015
- Updates for SIB and IsEqOp rewrite to use op_t::operator< · 8758e817
  jdh8d authored 9 years ago
  
  Former-commit-id: ececbd7b378e90677b7f9bf3a5fbbc824009295d
  8758e817
- Expand chunks to include interleaved orphan code regions. · 1ec9897c
  clc5q authored 9 years ago
  
  Former-commit-id: ed95b04147243753433effb793a64cc4b91b75a8
  1ec9897c
Oct 05, 2015

Emit BELONGTO annotations and FROMUNKNOWN *.STARSxrefs annotations for... · d0ba340d

clc5q authored 9 years ago

Emit BELONGTO annotations and FROMUNKNOWN *.STARSxrefs annotations for apparently unreachable blocks in functions with resolved indirect branches but no unresolved indirect branches to link to.

Former-commit-id: 4a667610e5c9d98f81d220dfd75638b85216d396

d0ba340d

Oct 01, 2015
- Make indirect writes safe if they come from loop-invariant stack copies. · 373860a0
  clc5q authored 9 years ago
  
  Former-commit-id: 41498c234c3cdb0b9493aa331552d61100b10637
  373860a0
- Compute loop-invariant DEFs. · f2d35f85
  clc5q authored 9 years ago
  
  Former-commit-id: 89145fb392ec8c6d78453271328260cd95f88251
  f2d35f85
Sep 26, 2015
- Fix SCCP by hitting lattice bottom on reads from memory. · 3af6e370
  clc5q authored 9 years ago
  
  Former-commit-id: b8d8b48d5d3c50a4153d7460c861d7d59291ea6d
  3af6e370
Sep 25, 2015
- Bug fix: Retain original byte width for normalized stack operands. · c8befeea
  clc5q authored 9 years ago
  
  Former-commit-id: 49e1dbbf61159acd2919f55c0198b38cb29493e9
  c8befeea
Sep 24, 2015
- Continue SPARK Ada translation improvements at package and procedure level. · a7a94176
  clc5q authored 9 years ago
  
  Former-commit-id: 2735035e70eea9a8cedc0dfc0ee4f332035e16e9
  a7a94176
Sep 21, 2015
- Updates to supportr building a libstars.a to link into IRDB xforms. · 3c66cf4c
  jdh8d authored 9 years ago
  
  Former-commit-id: 7ecc43186ebacb853a9bf5cb1c9740255e69dbe2
  3c66cf4c