Commits · 80e4e76b9829d235da1e7a357b243093e673bb2f · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

May 24, 2014
- Detect irreducible CFGs. · 80e4e76b
  clc5q authored 10 years ago
  
  80e4e76b
May 19, 2014
- Find more hashing blocks. · c31263f0
  clc5q authored 10 years ago
  
  c31263f0
May 18, 2014
- Interprocedural propagation of fine-grained numeric type info for registers. · e72764aa
  clc5q authored 10 years ago
  
  e72764aa
May 15, 2014
- Interprocedural MEDS type propagation from call sites to incoming marker insts at top of functions. · 878259a1
  clc5q authored 10 years ago
  
  878259a1
May 14, 2014
- Valgrind memcheck fixes and constructor initializations cleanup. · f3b97a11
  clc5q authored 10 years ago
  
  f3b97a11
May 12, 2014
- Generalize hashing code detection again. · 245c9c3b
  clc5q authored 10 years ago
  
  245c9c3b
- Clean up initializations in constructors. · f6e4bd30
  clc5q authored 10 years ago
  
  f6e4bd30
May 10, 2014
- Free memory related to StackPtrCopySet earlier. · 8ece7fb7
  clc5q authored 10 years ago
  
  8ece7fb7
May 09, 2014
- Fix LessDefinition to prevent possible set ordering crashes. · 4ac8f65e
  clc5q authored 10 years ago
  
  4ac8f65e
- 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 06, 2014
- Bug 192: recognize single-block hash functions. · 2ee1c9d4
  clc5q authored 10 years ago
  
  2ee1c9d4
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
- Main processing loop code cleanup. · bf2e21f2
  clc5q authored 10 years ago
  
  bf2e21f2
- Fix 64-bit addressing operands in lea inst annotations. · 79fcad69
  clc5q authored 10 years ago
  
  79fcad69
Apr 30, 2014
- Remove dead def-use chains code; clean up. · a7a2f483
  clc5q authored 10 years ago
  
  a7a2f483
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 23, 2014
- Fix crash in gimp for frameless leaf function; continue global analysis framework. · 0d6ee012
  clc5q authored 10 years ago
  
  0d6ee012
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
Apr 01, 2014
- Fix call graph processing order; plus minor OUTARGS fix. · 990fee17
  clc5q authored 10 years ago
  
  990fee17
Mar 27, 2014
- Memory reduction in DefOrUse class. · c99e4e0d
  clc5q authored 10 years ago
  
  c99e4e0d
- Memory reduction. · dca7a35b
  clc5q authored 10 years ago
  
  dca7a35b
Mar 25, 2014
- New truncation IDIOM 25 for left and right bit shifting within least significant byte. · e5ba55d9
  clc5q authored 10 years ago
  
  e5ba55d9
- Outargs fix for FP or SP relative access; no effect on real programs. · d1e91c8f
  clc5q authored 10 years ago
  
  d1e91c8f
- Outargs region fix for frames with unaccessed local frames. · d0e2b7b9
  clc5q authored 10 years ago
  
  d0e2b7b9
Mar 24, 2014
- No commit message · f555e252
  jdh8d authored 10 years ago
  
  No commit message
  f555e252
Mar 21, 2014
- Fix stack delta computation for funcs with alloca calls AND leave opcodes. · a1d096c1
  clc5q authored 10 years ago
  
  a1d096c1
- Improve stack delta analysis when tail calls are encountered. · e9b30de8
  clc5q authored 10 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 11, 2014
- Improve OUTARGS region computation by recognizing unused space at the bottom of the frame. · 2ebdbac3
  clc5q authored 11 years ago
  
  2ebdbac3
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
- Remove 64-bit IDA Pro database *.i64. · 6697316c
  clc5q authored 11 years ago
  
  6697316c
- Fix crashes in ffmpeg and other 64-bit binaries. · 6616bc6e
  clc5q authored 11 years ago
  
  6616bc6e