Commits · b928b27b97c6a12afb47cc4b0972d5de1c3be26b · Open Source Software / SMPStaticAnalyzer

Dec 05, 2017
- fixed openfiles bug in irdb interface regarding opensecondaryfiles · b928b27b
  jdh8d authored 7 years ago
  
  Former-commit-id: bd6cc834da26e5992e4852514e3e5b6c0b462843
  b928b27b
Nov 30, 2017
- Updates to handle IDA Pro 7.0 release. · d073ab12
  clc5q authored 7 years ago
  
  Former-commit-id: 33bcf1b3f2abc33e6df79221c8baabe40c5a495e
  d073ab12
Oct 02, 2017
- Port to IDA Pro 7.0. · 4327f38f
  clc5q authored 7 years ago
  
  Former-commit-id: 2dd0ed8311dabb07beb350616887c74946a73d65
  4327f38f
Aug 08, 2017
- Add ImproveCFG option, emit CONSTARG annotations. · 1fd74592
  clc5q authored 7 years ago
  
  Former-commit-id: 901de2942253867b9104de72de579ff42a34fb18
  1fd74592
Jul 17, 2017
- Fixes for loop analyses across regression tests. · fa9d667b
  clc5q authored 7 years ago
  
  Former-commit-id: 1a4ff933d0c4d5ce68b1e9726026c1c12922025c
  fa9d667b
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
Feb 16, 2017
- Add command-line option to trigger reduced analysis mode for large binaries... · ad669c23
  clc5q authored 8 years ago
  
  Add command-line option to trigger reduced analysis mode for large binaries that might exhaust virtual memory. Former-commit-id: 82eea6e1ee6456c924d28b9106c033df17ebcb53
  ad669c23
- SPARK updates for sha test case; fix byte width issues for opcodes like lea edx,[rax+1]. · ebd299b6
  clc5q authored 8 years ago
  
  Former-commit-id: bdb919af1468f3a929b5a735b6221a50fe5f2047
  ebd299b6
Oct 25, 2016
- Switch off SPARK-specific analyses. · 0f71b1b4
  clc5q authored 8 years ago
  
  Former-commit-id: c6d96744ab89510344bc286f4c8b8d13037689be
  0f71b1b4
- 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
- Switch STARS_regnum_t to alias STARS_RegNo enum. · 3f15bb59
  clc5q authored 8 years ago
  
  Former-commit-id: 0572c54541daf20f03f146c634e5d4e25322f400
  3f15bb59
- Add STARS_regnum_t type and use it. · a8aa8cb6
  clc5q authored 8 years ago
  
  Former-commit-id: 5ea425775063029c03ef44b2dea299e8eae66e09
  a8aa8cb6
Jun 01, 2016
- Use memcpy for union-of-structs copy in clone method. · 23503349
  clc5q authored 8 years ago
  
  Former-commit-id: a278286a0d971337e3f6d2aeacb748e1a02da883
  23503349
- Fix less-than operator for IRDB operands. · 15b9fd92
  clc5q authored 8 years ago
  
  Former-commit-id: 7a2045b27ae6d8a31ecde5e0d3d4a8c3feae4c99
  15b9fd92
- Add missing data member to deep copy. · 192702b1
  clc5q authored 8 years ago
  
  Former-commit-id: cbf3b8a3f951ae5902b73706a64e558bc281115f
  192702b1
May 30, 2016
- Fix IRDB problems discovered on libc. · 08361a4c
  clc5q authored 8 years ago
  
  Former-commit-id: ba96641d6ab13ab55806201b2486e6650b391953
  08361a4c
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
- Fix typo. · cfd29562
  clc5q authored 8 years ago
  
  Former-commit-id: 4cfebd7845b096b1330f88df39a34723e03e73ac
  cfd29562
- 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 10, 2016
- Add opcode alias to match beaEngine capitalization for prefetchnta == prefetchNTA. · e452c77c
  clc5q authored 8 years ago
  
  Former-commit-id: 9eea98b3542c489d47144b5a659f38313252c0a6
  e452c77c
- Add new AVX registers from IDA Pro 5.9. · a125b05e
  clc5q authored 8 years ago
  
  Former-commit-id: 4cdb4407343f27d99985c4bd0eda7c6974ce7962
  a125b05e
- Fix initialization order in constructor. · fb866775
  clc5q authored 8 years ago
  
  Former-commit-id: 1caad5309e35d2860b859a83f12ebc5a0174848f
  fb866775
May 05, 2016
- Implement HasSegReg() method. · 62f4fcdc
  clc5q authored 8 years ago
  
  Former-commit-id: 99d63b7a6f1274d935725e3f7a1f70ba3d36479b
  62f4fcdc
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

Mar 17, 2016
- Gather stats on return address set completeness and incompleteness. · cc54a1ae
  clc5q authored 9 years ago
  
  Former-commit-id: 15aad6668afb27d67cc8b0017165156f19cff40b
  cc54a1ae
Mar 14, 2016
- Make void operands common within each instruction to save memory. · 0db51d41
  clc5q authored 9 years ago
  
  Former-commit-id: 0fe860a4f43af118055c3394b0d2d518dc6f4f21
  0db51d41
Mar 01, 2016
- Gather stats on function pointer shadowing. · 3daa2afe
  clc5q authored 9 years ago
  
  Former-commit-id: 5e72a34ef34d329ebd0aef42e8be68da22a4d459
  3daa2afe
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. · ffcb3bd4
  clc5q authored 9 years ago
  
  Former-commit-id: cfafb22ae47303827138e13b44df18ed252f390f
  ffcb3bd4
- Derived class fixes to remove const qualifier. · b9c7495b
  clc5q authored 9 years ago
  
  Former-commit-id: 524f44f7d562f7817a19782eb4c9ccdb0cacac56
  b9c7495b
- Derived class fixes to remove const qualifier. · 67883d85
  clc5q authored 9 years ago
  
  Former-commit-id: e44c1c31bcc8f5c136a14128270cc2cfb59b645c
  67883d85