Commits · ff7f397d1232fd059feec1d6f747b43ad6779451 · Open Source Software / SMPStaticAnalyzer

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

Oct 14, 2015
- Eliminate address range checks in SMPBasicBlock. · 0d1645e9
  clc5q authored 9 years ago
  
  Former-commit-id: c0195e327284c6b01b8220df142fa7d37b0c0e0b
  0d1645e9
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

Added Dump() routines to base class that do nothing. Override as desired for... · febf6ee7

jdh8d authored 9 years ago

Added Dump() routines to base class that do nothing.  Override as desired for debug output in specialized classes.

Former-commit-id: 85b61674d8f60cfff6ed6424473913cc129ea7f9

febf6ee7

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

Moved SpecFlag4 functions out of STARS_op_t and into STARS_IDA_op_t where they... · d5da4438

jdh8d authored 9 years ago

Moved SpecFlag4 functions out of STARS_op_t and into STARS_IDA_op_t where they belong.  Left GetSpecFlag4 is base-class method to return default value.

Former-commit-id: 5e96755b9c5c8796cd568307d1ec279878ec5319

d5da4438

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

Updates to move OperandDefaultsTo64Bits into base class. · 8dc92002
jdh8d authored 9 years ago
```
Former-commit-id: ad417da5e51e95f6b0fdb0f510659e7de1775eb3
```
8dc92002

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
- Compute loop-invariant DEFs. · f2d35f85
  clc5q authored 9 years ago
  
  Former-commit-id: 89145fb392ec8c6d78453271328260cd95f88251
  f2d35f85
Sep 25, 2015
- Reworked to have irdb_transforms dir that can link in libstars. · 2320c43c
  jdh8d authored 9 years ago
  
  Former-commit-id: 7fc3f2e3bbcea45c2d9a0bc9e951a4a3cfe393a8
  2320c43c
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
Sep 20, 2015
- Committing missing .h file changes for GetReadOnlyMem and IsPushFromFixed · 700b5fef
  jdh8d authored 9 years ago
  
  Former-commit-id: 13496b1d2b5877956b27194cf31f26ae60c4acd8
  700b5fef
Sep 19, 2015
- Add STARS_Instruction_t::IsPushFromFixedCall() method as a placeholder for future work. · 792b127e
  clc5q authored 9 years ago
  
  Former-commit-id: 4c88321c97934f5111fc86775ef334fa98287c41
  792b127e
Sep 18, 2015
- More SPARK Ada translation improvements. · fc4a9f03
  clc5q authored 9 years ago
  
  Former-commit-id: 7cce2c3c80b7256ce696292b50b29aa4d8f86210
  fc4a9f03
Sep 11, 2015
- Find constant indirect call and jump targets using SCCP, output debug info. · 7b0a1841
  clc5q authored 9 years ago
  
  Former-commit-id: 893f24b12f193534a9e0ca4471e1140b6359fb82
  7b0a1841
Sep 10, 2015
- Improve SCCP by getting read-only data values for static memory operands. · fdb0e1cc
  clc5q authored 9 years ago
  
  Former-commit-id: 860482b9ee8961d00e13cba39eb742588ce2f18e
  fdb0e1cc
Sep 09, 2015
- Handle unsigned conditional jumps in SCCP. · a75b4a0d
  clc5q authored 9 years ago
  
  Former-commit-id: e7178a677234a15ed9fe68d66c4ed2bc50087f2d
  a75b4a0d
Sep 05, 2015
- Emit package-level and function-level SPARK Ada translations. · acc384cb
  clc5q authored 9 years ago
  
  Former-commit-id: e4fcf957b283ada96f8632f0f709967591925dd5
  acc384cb
Aug 31, 2015

· 6ddae845

jdh8d authored 9 years ago

Former-commit-id: 680c1eb1c9fcbec1956fd6db1ce8f7c7b8568863

6ddae845

Aug 28, 2015

· f9102dd6

jdh8d authored 9 years ago

Former-commit-id: 8b412091f5ec0f28172ba08762c27332089f8725

f9102dd6

Aug 26, 2015

updates for more bea->stars opcodes, comment fixes, install stars/irdb into... · 1bdceb57

jdh8d authored 9 years ago

updates for more bea->stars opcodes, comment fixes, install stars/irdb into sec_trans/plugins_install

Former-commit-id: e272be1cd2c154c71642193af0b526a39078d5eb

1bdceb57

Aug 17, 2015

· fd072dba

jdh8d authored 9 years ago

Former-commit-id: a214a07e70faf053cdcb2d64c77e6d8e13289c89

fd072dba

Aug 11, 2015
- sorta almost maybe kinda working of stars2irdb · d7a65f29
  jdh8d authored 9 years ago
  
  Former-commit-id: 246605014085c4e2ba88f9e03c6c0192bbab21f5
  d7a65f29
Aug 09, 2015
- half working? building some IR · 4e0f1d47
  jdh8d authored 9 years ago
  
  Former-commit-id: cc862d235b8ea40d8cad5b97ec66c17d8c3fe4b4
  4e0f1d47
Aug 08, 2015
- Make reduced analysis threshold lower for STARS-IDA on 32-bit platforms. · af4bc8b3
  clc5q authored 9 years ago
  
  Former-commit-id: 0e9c94747b4c12e2e32833dca37f738e49e271be
  af4bc8b3
Aug 04, 2015
- Improve stack frame analysis. · 27ab50d6
  clc5q authored 9 years ago
  
  Former-commit-id: 745651c57b26a92e5c2fb02378895888fc587a33
  27ab50d6
Jul 31, 2015
- Remove unused code and data structures relating to stack frame analysis. · ee13424e
  clc5q authored 9 years ago
  
  Former-commit-id: e8009d6f79c6975a214759701572242591c12e80
  ee13424e
Jul 30, 2015

Debugging on IRDB functions. · 62199247
jdh8d authored 9 years ago
```
Former-commit-id: f74a2bcf6b310995da329cabe2b4387b878b9a3b
```
62199247

· d0026690

jdh8d authored 9 years ago

Former-commit-id: 6c33a4a79c51108d10ffccf1b0986e8fcd14a020

d0026690