Commits · b5f6960ef1061959b3641248247619be7c98ac30 · Open Source Software / SMPStaticAnalyzer

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 30, 2016
- fixed re-init problem · 408518c1
  an7s authored 8 years ago
  
  Former-commit-id: d6c246e21efb1e5dd4c107929af4e645c955a401
  408518c1
Jun 24, 2016
- Update for STARS to run after selective_cfi. · 20c0bad7
  jdh8d authored 8 years ago
  
  Former-commit-id: c236f1e4e4b2022ed6fe578c48885549444ece9e
  20c0bad7
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 11, 2016
- Clean up multiply and divide RTL construction, handling IDA and IRDB operand lists equally. · fe4baa48
  clc5q authored 8 years ago
  
  Former-commit-id: 0d1ccce9d7da5438e05c9ede5732bef521e22cc3
  fe4baa48
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

Add Dan's Guardian test case; don't search for 32-bit code addresses in 64-bit... · 83a85828

clc5q authored 9 years ago

Add Dan's Guardian test case; don't search for 32-bit code addresses in 64-bit data sections; mark IBT as COMPLETE when SCCP resolves indirect call target.

Former-commit-id: 106ed98c01ab85f7eddf4f01455de27193dafcac

83a85828

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
Feb 02, 2016
- Derived class fixes to remove const qualifier. · 67883d85
  clc5q authored 9 years ago
  
  Former-commit-id: e44c1c31bcc8f5c136a14128270cc2cfb59b645c
  67883d85
- Cache result to speed up IRDB GetIDAOpcode(). · b89a1445
  clc5q authored 9 years ago
  
  Former-commit-id: 632c552df4e7c4c86b34da63f5e93bf2f0192877
  b89a1445
- Continue operand encoding normalization. · fa23ce5d
  clc5q authored 9 years ago
  
  Former-commit-id: d99a0ebe1912de54fdbc80de9c4b923269c176b9
  fa23ce5d
Feb 01, 2016
- Add base class STARSOp.cpp and move MDExtractAddressFields() to it. · 8d5fe799
  clc5q authored 9 years ago
  
  Former-commit-id: a27e089557e419710b83d4e71eff0c0ae3ed8a64
  8d5fe799
- Normalize encoding of memory operands. · 8fc22652
  clc5q authored 9 years ago
  
  Former-commit-id: 9c82291904911e85fb78fc87d3f0d9b21da702b2
  8fc22652
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

Jan 11, 2016

Detect potential multi-entry functions from code and data xrefs; avoid... · 678c1410

clc5q authored 9 years ago

Detect potential multi-entry functions from code and data xrefs; avoid COMPLETE return target STARSxrefs annotations for multi-entry functions.

Former-commit-id: 02ec8e8ed701d99884b8b444919265b134f8fe2b

678c1410

Dec 25, 2015
- Partial commit of function pointer shadowing logic. · b84c5ffb
  clc5q authored 9 years ago
  
  Former-commit-id: 4dbe1e2891ae337b9881a4212baa8afffc434c2e
  b84c5ffb
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 14, 2015
- Continue switch statement analysis and translation. · 3d1238dc
  clc5q authored 9 years ago
  
  Former-commit-id: 492334b4bcf3ebd071b174fe7627cb069cff5e38
  3d1238dc
Nov 07, 2015
- Continue fixed call analysis. · 6d4da2c5
  clc5q authored 9 years ago
  
  Former-commit-id: f18f1c70c37c34a59f19a914886dd03ffdcff71e
  6d4da2c5
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 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 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
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
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

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

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 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
Aug 04, 2015
- Improve stack frame analysis. · 27ab50d6
  clc5q authored 9 years ago
  
  Former-commit-id: 745651c57b26a92e5c2fb02378895888fc587a33
  27ab50d6