Commits · 792b127e1668f16903ae2cf2e3c82c881a65328c · Open Source Software / SMPStaticAnalyzer

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

Jul 29, 2015

· 5a99431c

jdh8d authored 9 years ago

Former-commit-id: ea50cbea6d3d6dd0f341dde51592eb91f3f398ad

5a99431c

Jul 28, 2015
- Finish redesign of stack frame analysis. · 8459c5a3
  clc5q authored 9 years ago
  
  Former-commit-id: 8f9be84e180de68c15b57fae2c0631e3e99e6afb
  8459c5a3
Jul 24, 2015

most of stars_irdb_instruction done · 25830c4f
jdh8d authored 9 years ago
```
Former-commit-id: f2c26a13666ecf24194e9bec34b3275abbaf5041
```
25830c4f

· ad0aa6a5

jdh8d authored 9 years ago

Former-commit-id: 8cde0e31dac10dfb7e53d8f73265ab975142b340

ad0aa6a5

STARS Instruction updates, first STARS op updates for irdb. · 2255ad18
jdh8d authored 9 years ago
```
Former-commit-id: d56e943a41579dbc2f3903699b7f97c15d5cc633
```
2255ad18

Restrict SMPInstr::GetSize() to IDA-specific derived classes unless it is just... · fe551210

clc5q authored 9 years ago

Restrict SMPInstr::GetSize() to IDA-specific derived classes unless it is just annotation or log output. Use STARS_Instruction_t::GetNextInstructionID() to determine basic block fall-throughs.

Former-commit-id: 1136f2b9808e684b5253128d352e266e926085d4

fe551210

Jul 21, 2015
- Partial commit of new stack frame access vector computations (not yet called). · 15d61fe5
  clc5q authored 9 years ago
  
  Former-commit-id: 0292cbf7c3b1bf90f2329a9677d948dd9e98aca3
  15d61fe5
Jul 20, 2015
- Add explanatory comments. · d803da45
  clc5q authored 9 years ago
  
  Former-commit-id: 738a14ec34d384dd239bf1a6947396e6f5958dd9
  d803da45
Jul 17, 2015

changes to support windows binaries, which includes printing offsets as 64-bit... · f75afba2

jdh8d authored 9 years ago

changes to support windows binaries, which includes printing offsets as 64-bit values, and ensuring STARS_ea_t is used instead of std::size_t.

Former-commit-id: 87f7a5d2ed6891a1548edad02b491ffb823d76ac

f75afba2

Jul 15, 2015
- Simplify stack frame analysis, eliminate FindAllocPoint() and other connections to IDA Pro. · 533ceeed
  clc5q authored 9 years ago
  
  Former-commit-id: 287ef5283718f1079f04deb4acd5a05a2cd3d021
  533ceeed
Jul 14, 2015
- comment additions for clc · 4dfdf015
  jdh8d authored 9 years ago
  
  Former-commit-id: 1b7640dac0b0f201e142ebdfdb0cfc53369d2275
  4dfdf015
Jul 13, 2015
- Minor cleanup in MDFixFrameInfo(). · 6f11dd77
  clc5q authored 9 years ago
  
  Former-commit-id: b1e3f2b0a5f5f704536e3cb69023d7613126c42c
  6f11dd77
- BuildFuncIR draft, untested, but builds. · 8d0ad8e7
  jdh8d authored 9 years ago
  
  Former-commit-id: de39c9aba850a9ce19fb7a54c0706b8b155f299b
  8d0ad8e7
- Precise analysis of byte width of stack pushes in MDFixFrameInfo(). · be077363
  clc5q authored 9 years ago
  
  Former-commit-id: b7217948915f8bd0f6146080b51d36ca7a618f24
  be077363
Jul 10, 2015
- Begin infrastructure for analyzing indirect memory write safety. · deabcd3f
  clc5q authored 9 years ago
  
  Former-commit-id: 1fa1759f36818bbae333e7557e2374aeea767206
  deabcd3f
Jul 09, 2015
- More precise analysis of which stack pointer copies are unsafe. · 9b8aac1e
  clc5q authored 9 years ago
  
  Former-commit-id: e135ebd53fb00b6b816a7522eeffe196bdb8a06b
  9b8aac1e
- Fix phase ordering problem just introduced in AliasAnalysis(); simplify MarkFunctionSafe(). · e0439505
  clc5q authored 9 years ago
  
  Former-commit-id: 91685946cfa8db4c87696df48165dcc1012e1869
  e0439505
Jul 07, 2015
- · 77f15253
  jdh8d authored 9 years ago
  
  Former-commit-id: 2440446955026807d946676e41f2d92a08091f82
  77f15253
- Eliminate more address range checks, isolate others into IDA Pro derived classes. · a1bbf7af
  clc5q authored 9 years ago
  
  Former-commit-id: 3f9d857e5454b025e7724576114d9c5b759ebc4c
  a1bbf7af
Jul 05, 2015
- Fix problems in leaf function identification. · 680f4fad
  clc5q authored 9 years ago
  
  Former-commit-id: 7c9cfe1ee85115b7351f875f3147527d9bfe92bf
  680f4fad
Jul 04, 2015
- Fix phase ordering issue with ProfilerInformation annotation file processing. · 338bf26d
  clc5q authored 9 years ago
  
  Former-commit-id: 564f919d6d2418b79d5fc92aabe9b2330346093b
  338bf26d
Jul 03, 2015
- Make base class IsXternSegment() return false. · 07ee5782
  clc5q authored 9 years ago
  
  Former-commit-id: af82c76b188751e09224de631848a94cd246fe02
  07ee5782
Jul 02, 2015

· 6cfa13b8

jdh8d authored 9 years ago

Former-commit-id: e05b626cf4e007de1a7067c4cf48f642b1a132d9

6cfa13b8