Commits · d5da4438f3a170e5105ebaf281ce4ba619b278ac · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Oct 08, 2015
- Expand chunks to include interleaved orphan code regions. · 1ec9897c
  clc5q authored 9 years ago
  1ec9897c
Oct 05, 2015
- Emit BELONGTO annotations and FROMUNKNOWN *.STARSxrefs annotations for... · d0ba340d
  clc5q authored 9 years ago
  d0ba340d
Oct 01, 2015
- Make indirect writes safe if they come from loop-invariant stack copies. · 373860a0
  clc5q authored 9 years ago
  373860a0
Sep 25, 2015
- Bug fix: Retain original byte width for normalized stack operands. · c8befeea
  clc5q authored 9 years ago
  c8befeea
Sep 07, 2015
- Canonicalize 32-bit regs to 64-bit on 64-bit binaries. · 2a5ad929
  clc5q authored 9 years ago
  2a5ad929
Aug 08, 2015
- Get interprocedural killed regs info for chunked callees. · 428a0aee
  clc5q authored 9 years ago
  428a0aee
Aug 07, 2015
- Analyze metadata and infer types for chunked functions. · d82c7227
  clc5q authored 9 years ago
  d82c7227
- Compute SSA form for chunked functions. · e54d1098
  clc5q authored 9 years ago
  e54d1098
Aug 05, 2015
- Continue improving stack frame analysis. · e665f187
  clc5q authored 9 years ago
  e665f187
Aug 04, 2015
- Improve stack frame analysis. · 27ab50d6
  clc5q authored 9 years ago
  27ab50d6
Jul 31, 2015
- Better tail call definition, fewer ERROR log messages on tail calls. · 129397bb
  clc5q authored 9 years ago
  129397bb
Jul 28, 2015
- Finish redesign of stack frame analysis. · 8459c5a3
  clc5q authored 9 years ago
  8459c5a3
Jul 20, 2015
- Omit extraneous CONST field from numeric IDIOM 33 annotations; minor code cleanup. · a45b438e
  clc5q authored 9 years ago
  a45b438e
- Fix 64-bit output statements and recognize alloca() calls before the stack frame allocation. · 146a7107
  clc5q authored 9 years ago
  146a7107
Jul 16, 2015
- Get rid of uses of IDA Pro stack deltas. · bdb4d911
  clc5q authored 9 years ago
  bdb4d911
- Fix FRAMERESTORE annotations on 64-bit binaries by eliminating hard-coded... · ad452347
  clc5q authored 9 years ago
  ad452347
- Continue to simplify and combine early stack frame loops through instructions. · 9e9e9254
  clc5q authored 9 years ago
  9e9e9254
Jul 15, 2015
- Simplify stack frame analysis, eliminate FindAllocPoint() and other connections to IDA Pro. · 533ceeed
  clc5q authored 9 years ago
  533ceeed
Jul 13, 2015
- Precise analysis of byte width of stack pushes in MDFixFrameInfo(). · be077363
  clc5q authored 9 years ago
  be077363
Jul 10, 2015
- Begin infrastructure for analyzing indirect memory write safety. · deabcd3f
  clc5q authored 9 years ago
  deabcd3f
Jul 09, 2015
- More precise analysis of which stack pointer copies are unsafe. · 9b8aac1e
  clc5q authored 9 years ago
  9b8aac1e
- Fix phase ordering problem just introduced in AliasAnalysis(); simplify MarkFunctionSafe(). · e0439505
  clc5q authored 9 years ago
  e0439505
Jul 08, 2015
- Move SMPFunction::AliasAnalysis() earlier in SMPProgram::Analyze() so the... · 1bb50ef1
  clc5q authored 9 years ago
  1bb50ef1
Jul 07, 2015
- Eliminate more address range checks, isolate others into IDA Pro derived classes. · a1bbf7af
  clc5q authored 9 years ago
  a1bbf7af
Jul 05, 2015
- Fix problems in leaf function identification. · 680f4fad
  clc5q authored 9 years ago
  680f4fad
Jun 06, 2015
- Emit 64-bit reg names for DEADREGS annotations on x86-64 binaries. · fe0545db
  clc5q authored 9 years ago
  fe0545db
- Emit DEADREGS annotations for resolved indirect jumps. · d3aeea29
  clc5q authored 9 years ago
  d3aeea29
Jun 04, 2015
- Updated annotations after IDA Pro 6.8 upgrade. · 2bdb5bb5
  clc5q authored 9 years ago
  2bdb5bb5
May 22, 2015
- Updated annotation files due to IDA Pro 6.7 improvements. · 922b88ba
  clc5q authored 9 years ago
  922b88ba
- Updated annotation files due to IDA Pro 6.7 improvements. · f56f9dd1
  clc5q authored 9 years ago
  f56f9dd1
May 19, 2015
- Update annotation files in quick tests dir. · 0c08f416
  clc5q authored 9 years ago
  0c08f416
- Final removal of idapro includes from common modules and build script debugging. · 559695bf
  clc5q authored 9 years ago
  559695bf
May 17, 2015
- Refactored the idapro main driver into an ida-specific directory, and made... · 9919bf8d
  jdh8d authored 9 years ago
  9919bf8d
Apr 19, 2015
- Updated annotations from conversion of op_t to STARS_op_t. · b976f618
  clc5q authored 10 years ago
  b976f618
Jan 23, 2015
- Fix ConditionalMeetType to operate on zeroed stack locations as it does on... · c7edc319
  clc5q authored 10 years ago
  c7edc319
Jan 21, 2015
- Fixes for INARGS annotations for sparse use of incoming args. · c5826a77
  clc5q authored 10 years ago
  c5826a77
Jan 19, 2015
- Add FUNC INARGS annotations for CGC and other uses. · 3b90841e
  clc5q authored 10 years ago
  3b90841e
Jan 18, 2015
- Add FUNC RETURNTYPE annotation for CGC and other uses. · 160a75c4
  clc5q authored 10 years ago
  160a75c4
Jan 11, 2015
- Added simple regression testing. · 427682a6
  jdh8d authored 10 years ago
  427682a6