Commits · 41760f99c2262b1287d7b8568bdb5b46d55f788e · Open Source Software / SMPStaticAnalyzer

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 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

Nov 25, 2014
- First update to restructuring · b2331b07
  jdh8d authored 10 years ago
  
  b2331b07
Nov 11, 2014
- Code cleanup; prep for increased precision in safe stack ptr copy analysis. · 12d263c6
  clc5q authored 10 years ago
  
  12d263c6
Nov 06, 2014
- Expand type inference from standard library functions to include POINTER args. · f64d9545
  clc5q authored 10 years ago
  
  f64d9545
Oct 20, 2014
- Loop opcode does not DEF flags; bug fix. · 2df3b2b2
  clc5q authored 10 years ago
  
  2df3b2b2
Oct 13, 2014
- Continue SPARK Ada translation. · 189fd3c1
  clc5q authored 10 years ago
  
  189fd3c1
Oct 01, 2014
- Fix MEDS type inference on stdlib return registers. · 9fe0d4bd
  clc5q authored 10 years ago
  
  9fe0d4bd
Sep 25, 2014
- Handle fast return suppression on tail call cases. · e53dc758
  clc5q authored 10 years ago
  
  e53dc758
Aug 21, 2014
- Continue SPARK translation; fix libc assertion on syscall. · 430f1a1c
  clc5q authored 10 years ago
  
  430f1a1c
Aug 02, 2014
- Continue routing IDA calls through middleware layer and cleaning up code. · 2adab9cd
  clc5q authored 10 years ago
  
  2adab9cd
Jul 01, 2014

Continue SPARK-Ada translation; fix three bugs in IDIOM 7 suppression; fix... · b37eeda9

clc5q authored 10 years ago

Continue SPARK-Ada translation; fix three bugs in IDIOM 7 suppression; fix iterator error that can cause an infinite loop.

b37eeda9

May 18, 2014
- Interprocedural propagation of fine-grained numeric type info for registers. · e72764aa
  clc5q authored 10 years ago
  
  e72764aa
May 12, 2014
- Clean up initializations in constructors. · f6e4bd30
  clc5q authored 10 years ago
  
  f6e4bd30
May 09, 2014
- Bug 201: StackPtrCopySet ordering problem for RAX vs EAX, etc., on x86-64. · 63b886ef
  clc5q authored 10 years ago
  
  63b886ef
May 07, 2014
- Raise alarm when critical size limit args are byte-swapped, indicating user taint, e.g. Heartbleed. · 2d360fdb
  clc5q authored 10 years ago
  
  2d360fdb
May 05, 2014
- Continue updates to use x86-64 register arguments. · 18d769ce
  clc5q authored 10 years ago
  
  18d769ce
May 04, 2014
- Fix interprocedural DEFs and USEs at call statements, for 32-bit and 64-bit binaries. · b6e580b2
  clc5q authored 10 years ago
  
  b6e580b2
Apr 29, 2014
- Interprocedural MEDS register type propagation and intraprocedural fixes. · 2ee03571
  clc5q authored 10 years ago
  
  2ee03571
Apr 15, 2014
- Bug 186: limit stack pointer copy set to full-width data operands. · 39968e29
  clc5q authored 10 years ago
  
  39968e29
Mar 27, 2014
- Memory reduction in DefOrUse class. · c99e4e0d
  clc5q authored 11 years ago
  
  c99e4e0d
Mar 21, 2014
- Improve stack delta analysis when tail calls are encountered. · e9b30de8
  clc5q authored 11 years ago
  
  e9b30de8
Mar 09, 2014
- Handle 350+ new opcodes; solve crashes in ffmpeg and openssl. · 0751adc9
  clc5q authored 11 years ago
  
  0751adc9
Feb 25, 2014
- Fix register names in annotations (e.g. RAX vs. EAX). · 0ff857ad
  clc5q authored 11 years ago
  
  0ff857ad
Feb 21, 2014
- Handle dense operand encoding on x86-64. · 80f1a67b
  clc5q authored 11 years ago
  
  80f1a67b
Jan 23, 2014
- Initial working 64-bit STARS files. · 94d9cfc8
  clc5q authored 11 years ago
  
  94d9cfc8
Dec 04, 2013
- Continue port to work on 64-bit binaries. · 4e94933b
  clc5q authored 11 years ago
  
  4e94933b
Nov 12, 2013
- Commit first tested version of SCCP. · b63484d4
  clc5q authored 11 years ago
  
  View commits for tag SCCP_12NOV2013 SCCP_12NOV2013
  
  b63484d4
Sep 06, 2013

Replace IDA Pro reg constants with STARS macro names for stack and frame... · 9c669f3a

clc5q authored 11 years ago

Replace IDA Pro reg constants with STARS macro names for stack and frame pointer; use stack and frame ptr utility functions also.

9c669f3a

Sep 04, 2013
- Exclude indirect stack accesses from MDIsDataFlowOpnd(). · e2def8a4
  clc5q authored 11 years ago
  
  e2def8a4
Sep 03, 2013
- Speed up and improve precision of metadata liveness analysis. · b8a04199
  clc5q authored 11 years ago
  
  View commits for tag fast_metadata_02SEP2013 fast_metadata_02SEP2013
  
  b8a04199
Jul 21, 2013
- Check for signedness errors on unsigned args to 19 C standard library functions. · d57062b8
  clc5q authored 11 years ago
  
  d57062b8
Jun 20, 2013
- Expand scope of existing idioms. · 6d071ade
  clc5q authored 11 years ago
  
  6d071ade
Jun 13, 2013
- IDIOM 19: Any reference to PTROFFSET type. · 95350f42
  clc5q authored 11 years ago
  
  View commits for tag IDIOM_19_PTROFFSET_12JUN2013 IDIOM_19_PTROFFSET_12JUN2013
  
  95350f42
Jun 07, 2013
- Apply IDIOM 18 to index registers. · 5e6623bd
  clc5q authored 11 years ago
  
  5e6623bd
Jun 06, 2013
- Fixes for idapro 6.4; allins.h seems to not be something one should include... · d1a63f17
  jdh8d authored 11 years ago
  
  Fixes for idapro 6.4; allins.h seems to not be something one should include directly, include intel.h instead.
  d1a63f17
Jun 02, 2013
- Improve MEDS type inference and propagation to improve false positive idiom detection. · 494154b2
  clc5q authored 11 years ago
  
  View commits for tag MEDS_types_01JUN2013 MEDS_types_01JUN2013
  
  494154b2
May 19, 2013
- Begin the loop identification process with the data structures and fundamental... · 7181177f
  clc5q authored 11 years ago
  
  Begin the loop identification process with the data structures and fundamental methods of back edge discovery.
  View commits for tag loop_identification_19MAY2013 loop_identification_19MAY2013
  
  7181177f
May 08, 2013
- Build RTLs for dryrun lib opcodes; fix uninit vars and clean up code; start... · cfe0d7e9
  clc5q authored 11 years ago
  
  Build RTLs for dryrun lib opcodes; fix uninit vars and clean up code; start mul by large const idiom recognition.
  View commits for tag new_RTLs_code_cleanup_07MAY2013 new_RTLs_code_cleanup_07MAY2013
  
  cfe0d7e9