Commits · 11b23b31d2638cd493040f7fe655591330e84bb9 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

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
Jun 27, 2013
- Make IsOpSourceSmallPositiveConstant trace through moves. · 6629d08f
  clc5q authored 11 years ago
  
  6629d08f
Jun 26, 2013
- Generalize detection of hashing; extend SMPInstr::MDIsAddition to include lea opcode additions. · c1e5c54b
  clc5q authored 11 years ago
  
  View commits for tag hashing_lea_addition_26JUN2013 hashing_lea_addition_26JUN2013
  
  c1e5c54b
Jun 25, 2013
- IDIOM 24 for truncations. · 8ff7959e
  clc5q authored 11 years ago
  
  8ff7959e
- IsOpSourceSpecial() generalization and redundancy elmimination. · 0d1e6431
  clc5q authored 11 years ago
  
  0d1e6431
Jun 24, 2013
- Extend several idioms based on operand source to include stack locations in search chain. · 42f9625d
  clc5q authored 11 years ago
  
  42f9625d
Jun 23, 2013
- Expand IDIOM 21 to cover stack operands. · 9f666f32
  clc5q authored 11 years ago
  
  9f666f32
Jun 21, 2013
- Make benign truncation checks apply more broadly to sign-extended move chains. · cabe9b2b
  clc5q authored 11 years ago
  
  View commits for tag truncation_signedness_21JUN2013 truncation_signedness_21JUN2013
  
  cabe9b2b
- Extend IDIOM 14 to skip over left shift instructions. · 07506427
  clc5q authored 11 years ago
  
  07506427
- Lower threshold for detecting IDIOM 10, multiply by large constant. · 3931350d
  clc5q authored 11 years ago
  
  3931350d
- IDIOM 22: ignore UNSIGNED OVERFLOW when an operation sequence using constant... · de2d761a
  clc5q authored 11 years ago
  
  IDIOM 22: ignore UNSIGNED OVERFLOW when an operation sequence using constant operands indicates likely overflow.
  de2d761a
Jun 20, 2013
- Extend IDIOM 21 to stack DEFs. · 573a3c34
  clc5q authored 11 years ago
  
  573a3c34
- Expand scope of existing idioms. · 6d071ade
  clc5q authored 11 years ago
  
  6d071ade
Jun 17, 2013
- Add IDIOM 20 for SIGNEDNESS; reduce memory use. · 5f5b535d
  clc5q authored 11 years ago
  
  View commits for tag IDIOM_20_memory_reduction_17JUN2013 IDIOM_20_memory_reduction_17JUN2013
  
  5f5b535d
Jun 14, 2013
- Convert dead regs from a string to a bitset to reduce inst memory and make for easy queries. · 65b34e2b
  clc5q authored 11 years ago
  
  View commits for tag deadregs_bitset_14JUN2013B deadregs_bitset_14JUN2013B
  
  65b34e2b
- Do not treat shift of scaled index reg as UNSIGNED. · 500dd537
  clc5q authored 11 years ago
  
  View commits for tag scaled_indexreg_not_unsigned_14JUN2013 scaled_indexreg_not_unsigned_14JUN2013
  
  500dd537
- Reduce UNSIGNED propagation from questionable conditional branches. · 5bfee186
  clc5q authored 11 years ago
  
  5bfee186
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 12, 2013
- Detect benign truncations by finding related subreg masking operations. · d8f98419
  clc5q authored 11 years ago
  
  View commits for tag benign_truncations_11JUN2013 benign_truncations_11JUN2013
  
  d8f98419
Jun 10, 2013
- Declare benign all integer errors within a block after getttimeofday calls. · 18f3e248
  clc5q authored 11 years ago
  
  View commits for tag gettimeofday_trusted_10JUN2013 gettimeofday_trusted_10JUN2013
  
  18f3e248
- Expand optimized range check recognition to include subtractions performed by lea opcodes. · cbbf5fab
  clc5q authored 11 years ago
  
  cbbf5fab
- Expand detection of unreliable UNSIGNED branch inferences to include optimized range checks. · 076df22f
  clc5q authored 11 years ago
  
  View commits for tag optimized_range_check_idiom_09JUN2013 optimized_range_check_idiom_09JUN2013
  
  076df22f
Jun 09, 2013
- UNKNOWNSIGN on unreliable UNSIGNED inference in middle of IDIOM 14 pseudo-truncating def-use chain. · 243fb055
  clc5q authored 11 years ago
  
  View commits for tag false_positives_08JUN2013 false_positives_08JUN2013
  
  243fb055
Jun 08, 2013
- Extend IDIOM 4 to ignore bitwise NOT in sequence. · f6321cc7
  clc5q authored 11 years ago
  
  f6321cc7
Jun 07, 2013
- Extend index reg IDIOM 18 to nested loops. · 4e6faf7c
  clc5q authored 11 years ago
  
  View commits for tag nested_loops_IDIOM_18_07JUN2013 nested_loops_IDIOM_18_07JUN2013
  
  4e6faf7c
- 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 04, 2013
- IDIOM 18: Leave over/underflow problems on address registers to the C7 defenses. · f0bc8a3e
  clc5q authored 11 years ago
  
  View commits for tag IDIOM_18_03JUN2013 IDIOM_18_03JUN2013
  
  f0bc8a3e
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 28, 2013
- Truncation false positives. · 30b6ca3f
  clc5q authored 11 years ago
  
  30b6ca3f
- Add addition of large constant pattern to IDIOM 11. · 87576c26
  clc5q authored 11 years ago
  
  87576c26
May 27, 2013
- Tweak IDIOM 10 (multiply by large constant); begin SCCP code. · eaaea646
  clc5q authored 11 years ago
  
  eaaea646
May 25, 2013
- IDIOM 17: overflows of jump table offset computations should be UNKNOWNSIGN... · b94e2977
  clc5q authored 11 years ago
  
  IDIOM 17: overflows of jump table offset computations should be UNKNOWNSIGN checks instead of UNSIGNED.
  View commits for tag switch_table_overflows_unknownsign_IDIOM_17_25MAY2013 switch_table_overflows_unknownsign_IDIOM_17_25MAY2013
  
  b94e2977
May 24, 2013
- Benign underflow, IDIOM 16, for shift-and-subtract-original-value-from-shifted-value code pattern. · a34f26f2
  clc5q authored 11 years ago
  
  View commits for tag benign_underflow_IDIOM_16_24MAY2013 benign_underflow_IDIOM_16_24MAY2013
  
  a34f26f2