Commits · 8dc92002840de77118489d9fe7347a1582ae7876 · Open Source Software / SMPStaticAnalyzer

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
Nov 09, 2014
- Gather stats on metadata and indirect jumps. · ed886771
  clc5q authored 10 years ago
  
  ed886771
Nov 06, 2014
- Expand type inference from standard library functions to include POINTER args. · f64d9545
  clc5q authored 10 years ago
  
  f64d9545
Oct 21, 2014
- Process *.eh_frame_addrs file. · 7f17c255
  clc5q authored 10 years ago
  
  7f17c255
Oct 15, 2014
- Reduce memory consumption for wireshark and other huge binaries; clean up code. · a5dea8bc
  clc5q authored 10 years ago
  
  a5dea8bc
Oct 13, 2014
- Continue SPARK Ada translation. · 189fd3c1
  clc5q authored 10 years ago
  
  189fd3c1
Sep 23, 2014

Emit basic annotations and STARScallreturn annotations for unreachable,... · feef6bb4

clc5q authored 10 years ago

Emit basic annotations and STARScallreturn annotations for unreachable, removed code, because the unreachable determination might be due to IDA errors.

feef6bb4

Aug 29, 2014
- Emit *.STARScallreturn file with info about fast returns and return address safety. · dd7c0baa
  clc5q authored 10 years ago
  
  dd7c0baa
Aug 25, 2014
- Control indentation in SPARK Ada translation. · 54c16881
  clc5q authored 10 years ago
  
  54c16881
Aug 21, 2014
- Continue SPARK translation; fix libc assertion on syscall. · 430f1a1c
  clc5q authored 10 years ago
  
  430f1a1c
Aug 13, 2014
- Implement reduced analysis for huge binaries. · 4a747b1d
  clc5q authored 10 years ago
  
  4a747b1d
Aug 11, 2014
- Support CGC binary filetype (magic number). · 6303db4d
  clc5q authored 10 years ago
  
  6303db4d
Aug 06, 2014
- Update to allow CGCEf files through STARS. · 45674caf
  jdh8d authored 10 years ago
  
  45674caf
Aug 04, 2014
- Set up code to produce DIF files as prelude to binary rewriting. · aa40d7c7
  clc5q authored 10 years ago
  
  aa40d7c7
May 15, 2014
- Interprocedural MEDS type propagation from call sites to incoming marker insts at top of functions. · 878259a1
  clc5q authored 10 years ago
  
  878259a1