Commits · c1f5bc7e7ef4b4325340ed765c579a724543683a · Open Source Software / SMPStaticAnalyzer

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