Commits · a730a6143351d8499a60a1c1d296849a34b8c6fe · Open Source Software / SMPStaticAnalyzer

Jun 15, 2015
- Fix CGC crash on double-shift RTL. · 3fbf824e
  clc5q authored 9 years ago
  
  Former-commit-id: 950dcff6e35a1414e71f11d153a1072d1d52a84f
  3fbf824e
- Reduce spurious ERROR messages in log files. · 39ebb467
  clc5q authored 9 years ago
  
  Former-commit-id: fadc984b956ed66bfc2e36d817cdb8bfaa0a70d0
  39ebb467
Jun 12, 2015
- Add timings, reduce debug output. · fae8f63a
  clc5q authored 9 years ago
  
  Former-commit-id: 6032fad5ae590c0692688c119cdba6bc92e2549d
  fae8f63a
Jun 11, 2015
- Add timing output for analysis phases. · a7bc1d07
  clc5q authored 9 years ago
  
  Former-commit-id: 4f3e70021a2b509b80db0caf8c99b2141896333f
  a7bc1d07
- Continued optimization of DEDefs analysis. · 0cb1d0c2
  clc5q authored 9 years ago
  
  Former-commit-id: 6c5f793cf7abf2c5d37287b622b37dab6f418fdc
  0cb1d0c2
Jun 10, 2015

Code cleanup and reduction of debugging output. · 2bc7c21c
clc5q authored 9 years ago
```
Former-commit-id: 1ce9ecf1bad4334ddfb18f01e7802fc73bd357ba
```
2bc7c21c

Limit DownExposedDEFs sets to operands in StackPtrCopySet to speed up the... · 10d15003

clc5q authored 9 years ago

Limit DownExposedDEFs sets to operands in StackPtrCopySet to speed up the stack pointer analysis phase.

Former-commit-id: 91cb0baeacbf915e6d22b3b56cdc8ada8655af42

10d15003

Jun 09, 2015
- SPARK Ada prep work, and speed up DownwardExposedDEFs computations. · ab42e8f0
  clc5q authored 9 years ago
  
  Former-commit-id: f4ab0bb05396e04c3f3e4a2aae58f4ba26081f9d
  ab42e8f0
Jun 06, 2015
- Emit 64-bit reg names for DEADREGS annotations on x86-64 binaries. · fe0545db
  clc5q authored 9 years ago
  
  Former-commit-id: b897bdde6718b40f208639425bc63131ec7d217e
  fe0545db
- Emit DEADREGS annotations for resolved indirect jumps. · d7ce17c5
  clc5q authored 9 years ago
  
  Former-commit-id: 1c2b02d8290b13d8c30ce04bc7d97d61f4ca7755
  d7ce17c5
May 24, 2015
- Changes for compatibility with IDA Pro 6.8. · c36651f5
  clc5q authored 9 years ago
  
  Former-commit-id: ffdc1aacf735295ff7d8fee882f510b9dc3d77c8
  c36651f5
May 23, 2015
- first draft of scons-based build system. · 8a0ecfa3
  jdh8d authored 9 years ago
  
  Former-commit-id: af136769b35ba4c9ccc6795a43f132acdf601488
  8a0ecfa3
May 20, 2015
- Remove IDA Pro header includes from two more files. · b25439b1
  clc5q authored 9 years ago
  
  Former-commit-id: 4e7fc71694815d88dca851e2414f80821b902db2
  b25439b1
May 19, 2015
- Fix hex constant output on SPARK translation. · a19d8047
  clc5q authored 9 years ago
  
  Former-commit-id: 88746c24a79d19213db7da705076a54cb3edb20d
  a19d8047
- 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

Updates for idapro type removals, etc. · ba7e6832
jdh8d authored 9 years ago
```
Former-commit-id: 1ebff574d6ed9a3df332dd77d65031f235ea4d35
```
ba7e6832
Able to build everything (that doesn't need IDA) without IDA! · dfd836cf
jdh8d authored 9 years ago
```
Former-commit-id: 025da6dc039c48d1cef895464eb0e9d4b745737b
```
dfd836cf

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 14, 2015
- Optimize parameter passing of shared_ptr objects. · e25f77f1
  clc5q authored 9 years ago
  
  Former-commit-id: 066cf5e996aea0fdf81ea59989dcaa8d8f355c32
  e25f77f1
May 13, 2015
- Add file number to inst ID type. · 5f98e759
  clc5q authored 9 years ago
  
  Former-commit-id: 7d576cf72fba1ee2ee7d1e935c0a4824fd9c71d9
  5f98e759
May 11, 2015
- Minor optimization, reducing operand canonicalization. · 6ceb5a6c
  clc5q authored 9 years ago
  
  Former-commit-id: d974e58bf5dfdcefafbd47ce9f0d326a0dbb8b70
  6ceb5a6c
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 05, 2015
- Move stack frame processing from SMPFunction to STARS_IDA_Function_t. · 3c3244bd
  clc5q authored 9 years ago
  
  Former-commit-id: bd0164d90ade36e7b03f75fc6f29525c35f7c924
  3c3244bd
May 04, 2015
- Migrate or eliminate conditionally compiled code in common modules. · 5dfb230b
  clc5q authored 9 years ago
  
  Former-commit-id: 67b81cd29422cdcd43727873f8db13f6d68329c5
  5dfb230b
May 01, 2015
- First fixes to getting it to build · d42ab92e
  jdh8d authored 9 years ago
  
  Former-commit-id: c625856fbe157319659be25bbf9037a357d1714b
  d42ab92e
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
Mar 23, 2015
- Define new operand set type. · c6c63568
  clc5q authored 10 years ago
  
  Former-commit-id: 2be6b9c7232978573e291dd573147d3abe7185c6
  c6c63568
- Convert to C++11 build; add shared_ptr helpers for operand creation. · 81dfd8e0
  clc5q authored 10 years ago
  
  Former-commit-id: 432c6108291562d93589411b1ce8468aab2a4d42
  81dfd8e0
Mar 07, 2015
- Set up abstract and IDA Pro classes for instruction operands. · 082b5fe1
  clc5q authored 10 years ago
  
  Former-commit-id: fa3fa9efcba5cac1b29354ca0c4b7b0f2c608e21
  082b5fe1
Feb 21, 2015
- Continue STARS to IRDB abstraction work. · 74a5a165
  clc5q authored 10 years ago
  
  Former-commit-id: 7c4dad9c29f993f9573c2eca30075d7ce92a2a58
  74a5a165
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 23, 2015

Fix ConditionalMeetType to operate on zeroed stack locations as it does on... · c7edc319

clc5q authored 10 years ago

Fix ConditionalMeetType to operate on zeroed stack locations as it does on zeroed registers, when other USEs are all UNINIT.

Former-commit-id: 169fa0825a2bd7c04eb40d3da9b1363942616e42

c7edc319

Jan 21, 2015
- Fixes for INARGS annotations for sparse use of incoming args. · c5826a77
  clc5q authored 10 years ago
  
  Former-commit-id: a987eebac155e6c9a0c0efeae7efc61892cd3328
  c5826a77
Jan 19, 2015
- Add FUNC INARGS annotations for CGC and other uses. · 3b90841e
  clc5q authored 10 years ago
  
  Former-commit-id: 4d3a4b1568426ea972afe922ddb1fb552af6775d
  3b90841e
Jan 18, 2015
- Add FUNC RETURNTYPE annotation for CGC and other uses. · 160a75c4
  clc5q authored 10 years ago
  
  Former-commit-id: 02a7ecb489a39f5a44077abbdad3ee4332f329db
  160a75c4
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 10, 2015

Place SSA marker inst at new pseudo-addr instead of at first func addr minus... · 752e92d0

clc5q authored 10 years ago

Place SSA marker inst at new pseudo-addr instead of at first func addr minus one; fix canonicalization of x86_64 regs spl, bpl, sil and dil; fix a couple of old code glitches found in debugging.

752e92d0

Jan 08, 2015
- End usage of Block:FirstAddr-1 to signal live-in DEFs. · 89406918
  clc5q authored 10 years ago
  
  89406918