Commits · db5a932c4d15feae39c126532e2bb540a95a710a · Open Source Software / SMPStaticAnalyzer

Aug 07, 2015
- Compute SSA form for chunked functions. · e54d1098
  clc5q authored 9 years ago
  
  Former-commit-id: ad363fe2c2c374cf8332c0616d72ca365fcc86eb
  e54d1098
Aug 05, 2015
- Continue improving stack frame analysis. · e665f187
  clc5q authored 9 years ago
  
  Former-commit-id: 8472d809f18a3569ec729ca0270b24f8f36afaf1
  e665f187
Aug 04, 2015
- Improve stack frame analysis. · 27ab50d6
  clc5q authored 9 years ago
  
  Former-commit-id: 745651c57b26a92e5c2fb02378895888fc587a33
  27ab50d6
Jul 31, 2015
- Better tail call definition, fewer ERROR log messages on tail calls. · 129397bb
  clc5q authored 9 years ago
  
  Former-commit-id: 078c4294c5c37971ccada1addb4abe2f4b156ac8
  129397bb
Jul 28, 2015
- Finish redesign of stack frame analysis. · 8459c5a3
  clc5q authored 9 years ago
  
  Former-commit-id: 8f9be84e180de68c15b57fae2c0631e3e99e6afb
  8459c5a3
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 16, 2015
- Get rid of uses of IDA Pro stack deltas. · bdb4d911
  clc5q authored 9 years ago
  
  Former-commit-id: e1f5edb2d888112864cbef2d3070f1ab14dac642
  bdb4d911
- 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 and combine early stack frame loops through instructions. · 9e9e9254
  clc5q authored 9 years ago
  
  Former-commit-id: 2be6870cc28d4618ec59207485533080f8b333f2
  9e9e9254
Jul 15, 2015
- Simplify stack frame analysis, eliminate FindAllocPoint() and other connections to IDA Pro. · 533ceeed
  clc5q authored 9 years ago
  
  Former-commit-id: 287ef5283718f1079f04deb4acd5a05a2cd3d021
  533ceeed
Jul 13, 2015
- Precise analysis of byte width of stack pushes in MDFixFrameInfo(). · be077363
  clc5q authored 9 years ago
  
  Former-commit-id: b7217948915f8bd0f6146080b51d36ca7a618f24
  be077363
Jul 10, 2015
- Begin infrastructure for analyzing indirect memory write safety. · deabcd3f
  clc5q authored 9 years ago
  
  Former-commit-id: 1fa1759f36818bbae333e7557e2374aeea767206
  deabcd3f
Jul 09, 2015
- More precise analysis of which stack pointer copies are unsafe. · 9b8aac1e
  clc5q authored 9 years ago
  
  Former-commit-id: e135ebd53fb00b6b816a7522eeffe196bdb8a06b
  9b8aac1e
- Fix phase ordering problem just introduced in AliasAnalysis(); simplify MarkFunctionSafe(). · e0439505
  clc5q authored 9 years ago
  
  Former-commit-id: 91685946cfa8db4c87696df48165dcc1012e1869
  e0439505
Jul 08, 2015

Move SMPFunction::AliasAnalysis() earlier in SMPProgram::Analyze() so the... · 1bb50ef1

clc5q authored 9 years ago

Move SMPFunction::AliasAnalysis() earlier in SMPProgram::Analyze() so the results will be available for unsafe function analysis.

Former-commit-id: b0415c9055d65e644189798ced06e451ac018a21

1bb50ef1

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
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. · d3aeea29
  clc5q authored 9 years ago
  
  Former-commit-id: 2a7fbffcd22bd08c8f18a6cd64620451f99140d4
  d3aeea29
Jun 04, 2015
- Updated annotations after IDA Pro 6.8 upgrade. · 2bdb5bb5
  clc5q authored 9 years ago
  
  Former-commit-id: 90ce357d4b9646a0b03f666f4212ec945171e7be
  2bdb5bb5
May 22, 2015
- Updated annotation files due to IDA Pro 6.7 improvements. · 922b88ba
  clc5q authored 9 years ago
  
  Former-commit-id: 183858c44858facbd82763d621e9a273c853211b
  922b88ba
- Updated annotation files due to IDA Pro 6.7 improvements. · f56f9dd1
  clc5q authored 9 years ago
  
  Former-commit-id: 6d9ae185b0345322e969cad234eedd0f7341a2b0
  f56f9dd1
May 19, 2015
- Update annotation files in quick tests dir. · 0c08f416
  clc5q authored 9 years ago
  
  Former-commit-id: 7f4716a3f5afcf6c1986c6c615a33b06e3492f5f
  0c08f416
- 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

Apr 19, 2015
- Updated annotations from conversion of op_t to STARS_op_t. · b976f618
  clc5q authored 9 years ago
  
  Former-commit-id: 355373c47f8c8a81f0036a1798377ac3842b6a57
  b976f618
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 11, 2015
- Added simple regression testing. · 427682a6
  jdh8d authored 10 years ago
  
  Former-commit-id: 1c2771711554f416f18b99014cae7e7d19df36f3
  427682a6