Commits · 0492673c66a268732002100ace604a2f3955ab4c · Open Source Software / SMPStaticAnalyzer

Jul 29, 2016

Fix SAFE FUNCTION annotation bug · 0492673c

an7s authored 8 years ago

STARS marked all CGC system calls as SAFE, include receive().
receive() is now marked as UNSAFE.



Former-commit-id: 81307f549afc2fe7a2d97b9f4ee9554360b1b887

0492673c

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 14, 2016
- Reduce memory in SMPInstr by getting address from INST_ID instead of caching it separately. · b05e801b
  clc5q authored 9 years ago
  
  Former-commit-id: 3ea7d5c448e3bf00c9fcad06851c774a59c7fd5d
  b05e801b
Feb 03, 2016
- Refine IBT annotations with reason codes. · 87525118
  clc5q authored 9 years ago
  
  Former-commit-id: 864cd696ee3979674a613dd79ce8aa0c86de74e4
  87525118
Jan 19, 2016
- Mark IBTs as COMPLETE for indirect jumps that are resolved in orphan code. · 52be36bc
  clc5q authored 9 years ago
  
  Former-commit-id: c22a92a8493f865fa82f2e5ce9aa55ef4cf56fbc
  52be36bc
- Emit IBT annotations for computed-goto libc patterns in orphaned code. · 9dcbbd36
  clc5q authored 9 years ago
  
  Former-commit-id: 9a2372f0a277f47233171e5f82e6782c1663cb66
  9dcbbd36
- Emit IBT annotations for orphan instructions whose addresses are taken in data segments. · 7cc06dd7
  clc5q authored 9 years ago
  
  Former-commit-id: 2de3077fe971f2e28472bb50c61a94ec65523d90
  7cc06dd7
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

Jan 07, 2016
- Do not mark return targets as COMPLETE if func is called from orphaned code. · cd28df6e
  clc5q authored 9 years ago
  
  Former-commit-id: b8385e6b7c7d8007fd4fd7c9a1826e267a3ec270
  cd28df6e
Dec 03, 2015
- Clean up running and termination of STARS plugin. · e2a1e3e1
  clc5q authored 9 years ago
  
  Former-commit-id: a2286dc49978162bd9b1fb577dfe2b4c09dd9139
  e2a1e3e1
Nov 27, 2015
- Debugging updates for get_root_filename() problems. · 0aa40c22
  clc5q authored 9 years ago
  
  Former-commit-id: 2c9ee1a9c8b3161e2d83ff0741cddfd8261a5a4d
  0aa40c22
Oct 08, 2015
- Expand chunks to include interleaved orphan code regions. · 1ec9897c
  clc5q authored 9 years ago
  
  Former-commit-id: ed95b04147243753433effb793a64cc4b91b75a8
  1ec9897c
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 18, 2015
- More SPARK Ada translation improvements. · fc4a9f03
  clc5q authored 9 years ago
  
  Former-commit-id: 7cce2c3c80b7256ce696292b50b29aa4d8f86210
  fc4a9f03
Sep 07, 2015
- Canonicalize 32-bit regs to 64-bit on 64-bit binaries. · 2a5ad929
  clc5q authored 9 years ago
  
  Former-commit-id: aec64f4807158c0f9b48f5e566bb31b6b0fee661
  2a5ad929
Sep 05, 2015
- Emit package-level and function-level SPARK Ada translations. · acc384cb
  clc5q authored 9 years ago
  
  Former-commit-id: e4fcf957b283ada96f8632f0f709967591925dd5
  acc384cb
Jul 28, 2015
- Finish redesign of stack frame analysis. · 8459c5a3
  clc5q authored 9 years ago
  
  Former-commit-id: 8f9be84e180de68c15b57fae2c0631e3e99e6afb
  8459c5a3
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
- Partial update: move more code into base class OpenFiles() and CloseFiles(). · f0659c61
  clc5q authored 9 years ago
  
  Former-commit-id: 4c6c93ed43d6e0abb3104842c76b1326ab385301
  f0659c61
Jun 03, 2015
- SConstruct __EA64__ fix and tag_remove() fix for IDA 6.8. · 706d1e5f
  clc5q authored 9 years ago
  
  Former-commit-id: f5967eba83d5cf7ecf63bb4eb0f773b961a02eed
  706d1e5f
May 24, 2015
- Changes for compatibility with IDA Pro 6.8. · c36651f5
  clc5q authored 9 years ago
  
  Former-commit-id: ffdc1aacf735295ff7d8fee882f510b9dc3d77c8
  c36651f5
May 19, 2015
- Final removal of idapro includes from common modules and build script debugging. · 559695bf
  clc5q authored 9 years ago
  
  Former-commit-id: 70bf1bd47cdb72e782495d3c8f008fc766d1edea
  559695bf
May 17, 2015

Refactored the idapro main driver into an ida-specific directory, and made... · 9919bf8d

jdh8d authored 9 years ago

Refactored the idapro main driver into an ida-specific directory, and made provisions for building an irdb specific driver, including moving link steps into driver-specific areas

Former-commit-id: a5b85d0f0f03e40224f92053a3300765fea2f77a

9919bf8d

May 10, 2015
- Eliminate final IDA Pro includes from common modules. · 55fba161
  clc5q authored 9 years ago
  
  Former-commit-id: 51dec0b66b9af14755e43fce8ee791b082c074b4
  55fba161
May 07, 2015
- Finish abstraction of IDA Pro xrefs queries. · c1f5bc7e
  clc5q authored 9 years ago
  
  Former-commit-id: 84d3934f46b0a8b7bfda74a11c23cf49de81545c
  c1f5bc7e
May 04, 2015
- Migrate or eliminate conditionally compiled code in common modules. · 5dfb230b
  clc5q authored 9 years ago
  
  Former-commit-id: 67b81cd29422cdcd43727873f8db13f6d68329c5
  5dfb230b
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

Apr 19, 2015
- Massive conversion of IDA Pro op_t to STARS_op_t and related changes. · c8196253
  clc5q authored 9 years ago
  
  Former-commit-id: ab0514212c7a70e3c03bb6c29ff2fdcb0d23d6f6
  c8196253
Feb 15, 2015
- Phase out direct reference to IDA op_t type to prepare for IRDB version. · 463f16ee
  clc5q authored 10 years ago
  
  Former-commit-id: b99a81be26aa9434f49e4afcb107abe45cf019b3
  463f16ee
Jan 14, 2015
- Eliminate use of block number as pseudo-addr for Phi DEFs in data flow analyses. · 865ff2a1
  clc5q authored 10 years ago
  
  Former-commit-id: df0ca842b58165a2cbbd8475acfb128eaa531662
  865ff2a1
Jan 03, 2015
- Use SMPInstr::GetAddr() instead of directly accessing private member address. · fb5c09fe
  clc5q authored 10 years ago
  
  fb5c09fe
Jan 02, 2015
- IRDB prep work; SMPInstr::GetSize() use. · b35d128e
  clc5q authored 10 years ago
  
  b35d128e
Dec 10, 2014
- Moved more functions that arne't irdb related. · e02961fc
  jdh8d authored 10 years ago
  
  e02961fc
- No commit message · c2ad32e4
  jdh8d authored 10 years ago
  
  No commit message
  c2ad32e4
Nov 27, 2014
- No commit message · 34874596
  jdh8d authored 10 years ago
  
  No commit message
  34874596
Nov 26, 2014
- No commit message · e3958924
  jdh8d authored 10 years ago
  
  No commit message
  e3958924
- First full version with an interface · aad0953e
  jdh8d authored 10 years ago
  
  aad0953e
Nov 25, 2014
- First update to restructuring · b2331b07
  jdh8d authored 10 years ago
  
  b2331b07