Commits · 2d360fdb924683b87a6394957921a641df2e1905 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

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
May 02, 2014
- Function summary PEASOUP fine-grained info for regs. · a3a2405e
  clc5q authored 10 years ago
  
  a3a2405e
- Fix 64-bit addressing operands in lea inst annotations. · 79fcad69
  clc5q authored 10 years ago
  
  79fcad69
Apr 29, 2014
- Code cleanup, particularly from cppcheck static analyzer feedback. · 31cabf3a
  clc5q authored 10 years ago
  
  31cabf3a
- Interprocedural MEDS register type propagation and intraprocedural fixes. · 2ee03571
  clc5q authored 10 years ago
  
  2ee03571
Apr 22, 2014
- 64-bit reg names in mul/div/lea PEASOUP annotations; early work on whole-program data structures. · 02bbd5e6
  clc5q authored 10 years ago
  
  02bbd5e6
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. · dca7a35b
  clc5q authored 11 years ago
  
  dca7a35b
Mar 25, 2014
- New truncation IDIOM 25 for left and right bit shifting within least significant byte. · e5ba55d9
  clc5q authored 11 years ago
  
  e5ba55d9
Mar 21, 2014
- Improve stack delta analysis when tail calls are encountered. · e9b30de8
  clc5q authored 11 years ago
  
  e9b30de8
Mar 18, 2014
- Give operands of subword moves the MEDS type NUMERIC. · 852a20a2
  clc5q authored 11 years ago
  
  852a20a2
- Propagate MEDS type NUMERIC from DEFs to USEs of sign- and zero-extended moves. · ce3e1f01
  clc5q authored 11 years ago
  
  ce3e1f01
- Solve bug 142 by propagating NUMERIC type in MEDS for sign- and zero-extended... · 7f56d92b
  clc5q authored 11 years ago
  
  Solve bug 142 by propagating NUMERIC type in MEDS for sign- and zero-extended loads, triggering more IDIOM 18 annotations.
  7f56d92b
Mar 09, 2014
- Handle 350+ new opcodes; solve crashes in ffmpeg and openssl. · 0751adc9
  clc5q authored 11 years ago
  
  0751adc9
Mar 03, 2014
- Clean up loop opcode RTLs. · 1a101bfb
  clc5q authored 11 years ago
  
  1a101bfb
Mar 01, 2014
- Fix crashes in ffmpeg and other 64-bit binaries. · 6616bc6e
  clc5q authored 11 years ago
  
  6616bc6e
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
Feb 07, 2014
- Generalize truncation idiom 14; PEASOUP bug 147. · 999369c3
  clc5q authored 11 years ago
  
  999369c3
Feb 05, 2014
- Broaden hash loop definition to include shift counts in registers; PEASOUP bug 144. · d0332583
  clc5q authored 11 years ago
  
  d0332583
- Expand definition of adding a small constant to generalize IDIOM 4 et al.; fix bugzilla bug 141. · 8077471f
  clc5q authored 11 years ago
  
  8077471f
Jan 31, 2014
- Improve xrefs output; include orphan code. · 65439397
  clc5q authored 11 years ago
  
  65439397
Jan 28, 2014
- Build SSE4 comparison RTLs. · 345caa18
  clc5q authored 11 years ago
  
  345caa18
Jan 23, 2014
- Build RTLs for new opcodes found in 64-bit binaries. · 7152bab5
  clc5q authored 11 years ago
  
  7152bab5
- 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 19, 2013
- Continue output of xrefs annotations. · 04ab0cd5
  clc5q authored 11 years ago
  
  04ab0cd5
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
- Replace MDIsStackAccessOpnd() with MDIsDirectStackAccessOpnd() where appropriate. · fff95008
  clc5q authored 11 years ago
  
  fff95008
Aug 17, 2013
- Fix alias analysis. · 92049269
  clc5q authored 11 years ago
  
  View commits for tag alias_analysis_17AUG2013 alias_analysis_17AUG2013
  
  92049269
Jul 26, 2013
- End dependence on DU chains for GetDefAddrFromUseAddr(). · 11b23b31
  clc5q authored 11 years ago
  
  11b23b31
Jul 21, 2013
- Check for signedness errors on unsigned args to 19 C standard library functions. · d57062b8
  clc5q authored 11 years ago
  
  d57062b8
Jul 06, 2013
- Generalize idioms based on ultimate operand sources by tracing through stack locations. · b4d185f7
  clc5q authored 11 years ago
  
  b4d185f7
Jul 03, 2013
- Generalize SINKMALLOC detection and increase precision. · 3e8af7e9
  clc5q authored 11 years ago
  
  3e8af7e9
- Add SINKMALLOC tag to TRUNCATIONs. · b5e16616
  clc5q authored 11 years ago
  
  b5e16616
Jun 29, 2013
- Link unreachable blocks via xrefs to preceding indirect jumps, if possible. · 128b49cc
  clc5q authored 11 years ago
  
  View commits for tag stonesoup-phase2-tne-release stonesoup-phase2-tne-release
  
  128b49cc
- Fix problems with IDA Pro 6.4; recognize xchg ax,ax as a no-op. · 83d91ee6
  clc5q authored 11 years ago
  
  View commits for tag IDA64_28JUN2013 IDA64_28JUN2013
  
  83d91ee6