Commits · e738b01beb4dfb0cdc17a597e83ca76dca9d9a22 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

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
Apr 29, 2013
- RTLs for bound+arpl opcodes; 5 new opcodes in mplayer; USEs from RTL guards; code cleanup. · 0c626107
  clc5q authored 11 years ago
  
  View commits for tag bound_arpl_RTLs_29APR2013 bound_arpl_RTLs_29APR2013
  
  0c626107
Mar 03, 2013
- Suppress benign underflows from strcmp() code or any code subtracting condition code values. · c9b35f2c
  clc5q authored 12 years ago
  
  View commits for tag benign_condition_code_underflow_02MAR2013 benign_condition_code_underflow_02MAR2013
  
  c9b35f2c
Feb 22, 2013
- Analysis of stack pointer deltas and stack location accesses. · 604fc5c9
  clc5q authored 12 years ago
  
  View commits for tag stack_pointer_analysis_21FEB2013 stack_pointer_analysis_21FEB2013
  
  604fc5c9
Dec 24, 2012
- Code for reaching defs and stack deltas (complete but inactive.) · 6c3670f0
  clc5q authored 12 years ago
  
  View commits for tag reaching_defs_24DEC2012 reaching_defs_24DEC2012
  
  6c3670f0
Oct 10, 2012
- Work around IDA Pro problem that produces bogus incoming args at huge stack frame offsets. · 2df5f659
  clc5q authored 12 years ago
  
  2df5f659
Sep 18, 2012
- Operate through new middleware module SMPDBInterface instead of directly through IDA Pro SDK. · 39c0fa15
  clc5q authored 12 years ago
  
  39c0fa15
May 11, 2012
- Recognize benign underflow code using subtract with borrow with identical left and right operands. · 261af157
  clc5q authored 12 years ago
  
  View commits for tag benign_underflow_sbb_11MAY2012 benign_underflow_sbb_11MAY2012
  
  261af157
May 06, 2012
- Reduce SMPInstr memory by pulling disasm text into a global shared object,... · 61025e20
  clc5q authored 12 years ago
  
  Reduce SMPInstr memory by pulling disasm text into a global shared object, produced on demand per address.
  61025e20
Apr 17, 2012
- Find overflowing opcodes that DEF an arg passed to malloc et al. and tag annotation as SINKMALLOC. · 7daca5a3
  clc5q authored 12 years ago
  
  View commits for tag mark_malloc_sink_overflows_17APR2012 mark_malloc_sink_overflows_17APR2012
  
  7daca5a3
Apr 16, 2012
- Infer immediate pointers are UNSIGNED; handle bit test opcodes. · e9b7670d
  clc5q authored 12 years ago
  
  View commits for tag unsigned_immed_ptrs_15APR2012 unsigned_immed_ptrs_15APR2012
  
  e9b7670d
Apr 14, 2012
- Avoid treating stack pointer addressing registers as arithmetic operands in signedness inference. · b421e5bb
  clc5q authored 12 years ago
  
  View commits for tag stackptr_reg_id_13APR2012C stackptr_reg_id_13APR2012C
  
  b421e5bb
Apr 13, 2012
- Suppress truncation annotations when a reg is stored in two halves. · 7561c301
  clc5q authored 12 years ago
  
  View commits for tag piecewise_subreg_stores_13APR2012 piecewise_subreg_stores_13APR2012
  
  7561c301