Commits · d049b42cc84e72cc768eb6cacca451e4ca241bf1 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

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
Feb 11, 2012
- Reduce DU chain offsets from unsigned int to unsigned short to reduce memory usage. · 1c692d50
  clc5q authored 13 years ago
  
  1c692d50
- Convert DU chains to use stored BaseAddr+offset to prepare for memory reduction. · dd28abbf
  clc5q authored 13 years ago
  
  dd28abbf
Feb 10, 2012
- Encapsulate def-use chains better, in preparation for memory usage reduction. · 1265fb29
  clc5q authored 13 years ago
  
  1265fb29
Feb 03, 2012
- Memory reduction and code cleanup. · dc0fdecf
  clc5q authored 13 years ago
  
  View commits for tag memory_reduction_03FEB2012 memory_reduction_03FEB2012
  
  dc0fdecf
Dec 04, 2011
- Infer that registers with MEDS type of data or code ptr must be unsigned,... · 4451efbc
  clc5q authored 13 years ago
  
  Infer that registers with MEDS type of data or code ptr must be unsigned, handle 10-byte FPU operands.
  View commits for tag integer_errors_12 integer_errors_12
  
  4451efbc
Nov 22, 2011
- Complete the annotations for lea opcode; fix bugs. · 2f9d2982
  clc5q authored 13 years ago
  
  View commits for tag integer_errors_11 integer_errors_11
  
  2f9d2982
Nov 18, 2011
- Emit CHECK TRUNCATION NOFLAG annotations for lea opcodes. · 267d60ed
  clc5q authored 13 years ago
  
  View commits for tag integer_errors_8 integer_errors_8
  
  267d60ed
Nov 14, 2011
- Infer signedness and width of return value register from library function calls. · 08d807e1
  clc5q authored 13 years ago
  
  View commits for tag integer_errors_7 integer_errors_7
  
  08d807e1
Nov 13, 2011
- Improve FG info propagation including phi functions; clean up code. · e2876f2f
  clc5q authored 13 years ago
  
  View commits for tag integer_errors_6 integer_errors_6
  
  e2876f2f
Nov 01, 2011
- Fix tables of which instructions DEF and USE the x86 flags. · 5847c051
  clc5q authored 13 years ago
  
  View commits for tag flags_def_use_1 flags_def_use_1
  
  5847c051
Oct 30, 2011
- Implement OVERFLOW and UNDERFLOW annotations for non-multiply arithmetic opcodes. · 5da97737
  clc5q authored 13 years ago
  
  View commits for tag integer_errors_4 integer_errors_4
  
  5da97737
Oct 27, 2011
- Add signedness to TRUNCATION annotations. · 4e2e692b
  clc5q authored 13 years ago
  
  4e2e692b
- Compatibility fix for IDA Pro 5.1. · 9c7b8677
  clc5q authored 13 years ago
  
  9c7b8677
- Mostly complete implementation of the portion of integer error · f471a981
  clc5q authored 13 years ago
  
  detection that emits TRUNCATION annotations.
  View commits for tag integer_errors_2 integer_errors_2
  
  f471a981
Oct 25, 2011
- Major portion of work to analyze signedness and width of operands. · d644005f
  clc5q authored 13 years ago
  
  View commits for tag integer_errors_1 integer_errors_1
  
  d644005f
Oct 17, 2011
- Handle new opcodes in category tables. · e96a8a8f
  clc5q authored 13 years ago
  
  View commits for tag handle_new_opcodes_1 handle_new_opcodes_1
  
  e96a8a8f
Sep 25, 2011
- Fix incomplete assignment operators used in copy constructors; fix algorithm... · e48795bb
  clc5q authored 13 years ago
  
  Fix incomplete assignment operators used in copy constructors; fix algorithm for detecting aliased mem writes in global DU chains.
  View commits for tag code_cleanup_24SEP2011 code_cleanup_24SEP2011
  
  e48795bb
Sep 17, 2011
- Build RTLs for MMX and SSE instructions used in current glibc. · 475a7cf4
  clc5q authored 13 years ago
  
  View commits for tag RTL_mmx_1 RTL_mmx_1
  
  475a7cf4
Aug 22, 2011
- IDA Pro 5.1 compatibility. · 0dece84e
  clc5q authored 13 years ago
  
  0dece84e
Aug 20, 2011
- Fix infinite loops and crashes related to unreachable blocks and SSE/MMX... · d2afd156
  clc5q authored 13 years ago
  
  Fix infinite loops and crashes related to unreachable blocks and SSE/MMX instructions and registers.
  View commits for tag indirect_recursion_2_MMX indirect_recursion_2_MMX
  
  d2afd156
May 13, 2011
- Conform to IDA Pro API; avoid obsoleted functions. · 8f3fdd35
  clc5q authored 13 years ago
  
  View commits for tag idapro_api idapro_api
  
  8f3fdd35
Apr 19, 2011
- Eliminate compiler warnings and valgrind memcheck error; remove incomplete SBIR code. · 0f2d557b
  clc5q authored 13 years ago
  
  0f2d557b
Mar 30, 2011
- Added copyright notices · 9f2d1d14
  jdh8d authored 14 years ago
  
  9f2d1d14
Jan 02, 2010
- Detect indirect writes in memory DEF-USE chains (no new annotations). · 1e522d01
  clc5q authored 15 years ago
  
  View commits for tag alias_analysis_1 alias_analysis_1
  
  1e522d01
Aug 22, 2008
- Eliminate compiler warnings on some compiler versions. · 5169a041
  clc5q authored 16 years ago
  
  View commits for tag code_cleanup6 code_cleanup6
  
  5169a041
Jun 25, 2008
- Expanded a comment. · c6157ef8
  clc5q authored 16 years ago
  
  c6157ef8
Jun 13, 2008
- Find redundant metadata and annotate. · 65a9a93f
  clc5q authored 16 years ago
  
  View commits for tag redundant_metadata1 redundant_metadata1
  
  65a9a93f
Jun 08, 2008
- Apply NumericDEFs annotations to the lea opcode. · e4ba25f1
  clc5q authored 16 years ago
  
  View commits for tag lea_numeric_defs lea_numeric_defs
  
  e4ba25f1
- Allow mmStrata to process interrupt instructions. · d028999c
  clc5q authored 16 years ago
  
  View commits for tag interrupt_fix interrupt_fix
  
  d028999c