Commits · 997b89e6cb708ddc1fa3354195daaa2d5d99ca47 · Open Source Software / SMPStaticAnalyzer

Apr 06, 2018
- Drive SPARK translation from command-line option. · 997b89e6
  clc5q authored 6 years ago
  
  Former-commit-id: c6113e62f4c9c1f8c246ec8f6619a7da14346380
  997b89e6
Apr 01, 2018
- Add command-line option for deep loop analyses. · 0cc1cfbf
  clc5q authored 6 years ago
  
  Former-commit-id: fcfc0eb3841387b6b26c1934e0766bdccde6a130
  0cc1cfbf
Feb 15, 2018
- Handle the insane deletion of two opcodes in IDA Pro 7.0. · 33e50cc0
  clc5q authored 7 years ago
  
  Former-commit-id: 3e7c2fcb51009cceb1198018daeb1b59b3c5327a
  33e50cc0
Nov 30, 2017
- Updates to handle IDA Pro 7.0 release. · d073ab12
  clc5q authored 7 years ago
  
  Former-commit-id: 33bcf1b3f2abc33e6df79221c8baabe40c5a495e
  d073ab12
Aug 08, 2017
- Add ImproveCFG option, emit CONSTARG annotations. · 1fd74592
  clc5q authored 7 years ago
  
  Former-commit-id: 901de2942253867b9104de72de579ff42a34fb18
  1fd74592
Apr 22, 2017
- Implement critical argument shadowing defense. · 84d2b183
  clc5q authored 7 years ago
  
  Former-commit-id: 050776c085eac062c9b378076118d996345544f6
  84d2b183
Apr 21, 2017

Add command-line options for func ptr and arg shadowing, make common code for... · d99cad76

clc5q authored 7 years ago

Add command-line options for func ptr and arg shadowing, make common code for those two defenses; minor SPARK work.

Former-commit-id: bdd21a76912de7e4bf171bc5543218ae1b20e871

d99cad76

Mar 01, 2017
- SPARK translation work for the sha test case. · b77034fb
  clc5q authored 8 years ago
  
  Former-commit-id: 10253077ca5276f08c377454147e4fd7f22da277
  b77034fb
Oct 25, 2016
- Loop analyses and memory writing region analyses. · b5f6960e
  clc5q authored 8 years ago
  
  Former-commit-id: 256e05a5ac526dbc0c768febece164d9e3b89e3b
  b5f6960e
Jul 06, 2016

Uninit var detection; output disabled until USEs on call instructions can be... · 9347fc54

clc5q authored 8 years ago

Uninit var detection; output disabled until USEs on call instructions can be made less conservative.

Former-commit-id: 693761feeb30ad9fe4a2fc48f2fc124c6abc0b65

9347fc54

Jun 26, 2016
- support to re-invoke stars within an xform · 081ec738
  jdh8d authored 8 years ago
  
  Former-commit-id: 62f62ba2799dc21f09b9a475af42ecd3d7095800
  081ec738
Jun 17, 2016
- Increased precision for CGC system call analysis. · e2168ff8
  clc5q authored 8 years ago
  
  Former-commit-id: 15bc586102fa82c3e9ab32d35060048617904420
  e2168ff8
Jun 02, 2016
- Add STARS_regnum_t type and use it. · a8aa8cb6
  clc5q authored 8 years ago
  
  Former-commit-id: 5ea425775063029c03ef44b2dea299e8eae66e09
  a8aa8cb6
May 13, 2016

DEADREGS work; handle local names of other blocks that are not referenced in... · 1c63b5a4

clc5q authored 8 years ago

DEADREGS work; handle local names of other blocks that are not referenced in current block, convert nops from data back to code when following a CALL.

Former-commit-id: 3c39474ea207d5cbc18dbbedf7685cf0f7ac779d

1c63b5a4

May 03, 2016
- DEADREGS fix: Allow callee-saved regs to pass through a func without being declared dead. · 3eced7be
  clc5q authored 8 years ago
  
  Former-commit-id: 407f83826ef32a971e3967da525af72adcf71b50
  3eced7be
Mar 19, 2016
- Speedup on large functions. · d79a1ca1
  clc5q authored 9 years ago
  
  Former-commit-id: c5edffb1ff109743af2c2e4c984b993e0c3496da
  d79a1ca1
Feb 03, 2016
- Refine IBT annotations with reason codes. · 87525118
  clc5q authored 9 years ago
  
  Former-commit-id: 864cd696ee3979674a613dd79ce8aa0c86de74e4
  87525118
- Improve STARSxrefs annotations. · 0fa68463
  clc5q authored 9 years ago
  
  Former-commit-id: b8bd3fefcc0a412b141c6af8b340c5e73351fcea
  0fa68463
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

Dec 25, 2015
- Partial commit of function pointer shadowing logic. · b84c5ffb
  clc5q authored 9 years ago
  
  Former-commit-id: 4dbe1e2891ae337b9881a4212baa8afffc434c2e
  b84c5ffb
Dec 17, 2015
- Fix IRDB assertion. · 1b54a54b
  clc5q authored 9 years ago
  
  Former-commit-id: 48b6dfced6fa7bb26d74c82acdc810009bcdf0bd
  1b54a54b
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
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
Oct 27, 2015
- Improve loop analysis; continue SPARK Ada loop translation. · ff7f397d
  clc5q authored 9 years ago
  
  Former-commit-id: a1268eac84f84886e025cbc6d94295ea31653fa8
  ff7f397d
Oct 18, 2015
- Move method into base class of STARSProgram. · 51287075
  clc5q authored 9 years ago
  
  Former-commit-id: 2c70517c4b7fdaf2062f72465f9f3156adcaf452
  51287075
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

Jul 23, 2015

· 8e490949

jdh8d authored 9 years ago

Former-commit-id: e99375c2aa0dd0160de720c3758834f7bb5cdc4c

8e490949

Jul 04, 2015
- Fix phase ordering issue with ProfilerInformation annotation file processing. · 338bf26d
  clc5q authored 9 years ago
  
  Former-commit-id: 564f919d6d2418b79d5fc92aabe9b2330346093b
  338bf26d
Jun 25, 2015
- Refactor code into base class for STARSProgram. · be65bea8
  clc5q authored 9 years ago
  
  Former-commit-id: 5fb977445b7d9ef731ed9b81d64c7594c2e4a104
  be65bea8
- Partial update: move more code into base class OpenFiles() and CloseFiles(). · f0659c61
  clc5q authored 9 years ago
  
  Former-commit-id: 4c6c93ed43d6e0abb3104842c76b1326ab385301
  f0659c61
May 13, 2015
- Add file number to inst ID type. · 5f98e759
  clc5q authored 9 years ago
  
  Former-commit-id: 7d576cf72fba1ee2ee7d1e935c0a4824fd9c71d9
  5f98e759
May 10, 2015
- Eliminate final IDA Pro includes from common modules. · 55fba161
  clc5q authored 9 years ago
  
  Former-commit-id: 51dec0b66b9af14755e43fce8ee791b082c074b4
  55fba161
Apr 30, 2015

Reduce SMPStaticAnalyzer module to an IDA Pro driver; reduce use of IDA Pro... · 474105b7

clc5q authored 9 years ago

Reduce SMPStaticAnalyzer module to an IDA Pro driver; reduce use of IDA Pro types in common modules.

Former-commit-id: d78319e21cb81dc6c03e956074ea12fb25ccc5e2

474105b7