Commits · 887894e368ae3ff02d9b795b7a435f24a8eb0f33 · Open Source Software / SMPStaticAnalyzer

Jul 21, 2015
- Add diagnostic output for fatal error before assert(false) call. · 887894e3
  clc5q authored 9 years ago
  
  Former-commit-id: 4546fff20719e9be6dc9ca672ed12aa4304c880a
  887894e3
Jul 20, 2015
- Omit extraneous CONST field from numeric IDIOM 33 annotations; minor code cleanup. · a45b438e
  clc5q authored 9 years ago
  
  Former-commit-id: a5c307ecff02e255aa39d6881b45f06ef993c541
  a45b438e
- Fix 64-bit output statements and recognize alloca() calls before the stack frame allocation. · 146a7107
  clc5q authored 9 years ago
  
  Former-commit-id: 4caf1f5e24d24ab5e376f0decd0e2082c42d39d5
  146a7107
Jul 17, 2015

changes to support windows binaries, which includes printing offsets as 64-bit... · f75afba2

jdh8d authored 9 years ago

changes to support windows binaries, which includes printing offsets as 64-bit values, and ensuring STARS_ea_t is used instead of std::size_t.

Former-commit-id: 87f7a5d2ed6891a1548edad02b491ffb823d76ac

f75afba2

Jul 16, 2015

Fix FRAMERESTORE annotations on 64-bit binaries by eliminating hard-coded... · ad452347

clc5q authored 9 years ago

Fix FRAMERESTORE annotations on 64-bit binaries by eliminating hard-coded 4-byte size constant in offset computations.

Former-commit-id: adc295cbeeb7cab3609afc57bed4cf0890f63736

ad452347

Continue to simplify stack frame analysis. · 9dc108ad
clc5q authored 9 years ago
```
Former-commit-id: 9c823779d074ae6da120f41315e6ff1996fbfff2
```
9dc108ad

Jul 13, 2015
- Minor cleanup in MDFixFrameInfo(). · 6f11dd77
  clc5q authored 9 years ago
  
  Former-commit-id: b1e3f2b0a5f5f704536e3cb69023d7613126c42c
  6f11dd77
- Precise analysis of byte width of stack pushes in MDFixFrameInfo(). · be077363
  clc5q authored 9 years ago
  
  Former-commit-id: b7217948915f8bd0f6146080b51d36ca7a618f24
  be077363
Jul 09, 2015
- Fix phase ordering problem just introduced in AliasAnalysis(); simplify MarkFunctionSafe(). · e0439505
  clc5q authored 9 years ago
  
  Former-commit-id: 91685946cfa8db4c87696df48165dcc1012e1869
  e0439505
Jul 07, 2015
- Eliminate more address range checks, isolate others into IDA Pro derived classes. · a1bbf7af
  clc5q authored 9 years ago
  
  Former-commit-id: 3f9d857e5454b025e7724576114d9c5b759ebc4c
  a1bbf7af
Jul 05, 2015
- Fix problems in leaf function identification. · 680f4fad
  clc5q authored 9 years ago
  
  Former-commit-id: 7c9cfe1ee85115b7351f875f3147527d9bfe92bf
  680f4fad
Jul 04, 2015
- Fix phase ordering issue with ProfilerInformation annotation file processing. · 338bf26d
  clc5q authored 9 years ago
  
  Former-commit-id: 564f919d6d2418b79d5fc92aabe9b2330346093b
  338bf26d
Jun 29, 2015
- Continue prep work for IRDB coding. · 24760d72
  clc5q authored 9 years ago
  
  Former-commit-id: fba25ec3ef380b26c9a69ff8a793583a1a434082
  24760d72
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 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 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 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

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 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
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 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
Jan 06, 2015
- Continue construction of new inst ID objects. · 10ada026
  clc5q authored 10 years ago
  
  10ada026
Jan 03, 2015
- Use SMPInstr::GetAddr() instead of directly accessing private member address. · fb5c09fe
  clc5q authored 10 years ago
  
  fb5c09fe