Commits · b1d0f37a8a88fe03fbdfeb3c79c872273f2879ae · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Jun 18, 2013
- Expand IDIOM 21 to include USE-only addends and subtrahends produced by bitwise nots. · b1d0f37a
  clc5q authored 11 years ago
  
  b1d0f37a
- IDIOM 21: bitwise NOT followed by overflow or underflow operation. · 0863ab17
  clc5q authored 11 years ago
  
  View commits for tag IDIOM_21_bitwise_not_17JUN2013B IDIOM_21_bitwise_not_17JUN2013B
  
  0863ab17
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 11, 2013
- Extend recognition of sbb eax,eax ... add eax,small to allow intervening AND and OR opcodes. · 3608a322
  clc5q authored 11 years ago
  
  3608a322
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
- Improve hashing loop ID. · 628ef359
  clc5q authored 11 years ago
  
  628ef359
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
- Improve index register coverage in IDIOM 18. · dd9e8be6
  clc5q authored 11 years ago
  
  View commits for tag index_regs_IDIOM_18_06JUN2013 index_regs_IDIOM_18_06JUN2013
  
  dd9e8be6
- 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
  d1a63f17
Jun 05, 2013
- Detect stupid hand-coded asm ja/jb sequence, treat as jne (not necessarily unsigned). · dbe41825
  clc5q authored 11 years ago
  
  View commits for tag idiotic_branches_05JUN2013 idiotic_branches_05JUN2013
  
  dbe41825
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
  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
- Detect more benign truncations in IDIOM 2 based on the original source of the... · 1c8258b1
  clc5q authored 11 years ago
  View commits for tag benign_truncations_IDIOM_2_23MAY2013 benign_truncations_IDIOM_2_23MAY2013
  
  1c8258b1
May 22, 2013
- Suppress IDIOM 15: hash function arithmetic in tight loop. · 36994c82
  clc5q authored 11 years ago
  
  View commits for tag hash_functions_IDIOM_15_21MAY2013 hash_functions_IDIOM_15_21MAY2013
  
  36994c82
May 21, 2013
- Enable simple conditional MEDS type propagation on phi functions. · 4f98cc93
  clc5q authored 11 years ago
  
  View commits for tag sparse_phi_type_propagation_20MAY2013 sparse_phi_type_propagation_20MAY2013
  
  4f98cc93
May 19, 2013
- Begin the loop identification process with the data structures and fundamental... · 7181177f
  clc5q authored 11 years ago
  View commits for tag loop_identification_19MAY2013 loop_identification_19MAY2013
  
  7181177f
May 16, 2013
- Temporarily disable assertion that is a problem in IDA Pro 6.4 for nginx. · 84355d8a
  clc5q authored 11 years ago
  
  84355d8a
May 15, 2013
- Improved detection of truncation idiom 14 and overflow idiom 10... · 3788cfc4
  clc5q authored 11 years ago
  View commits for tag imul_operands_15MAY2015 imul_operands_15MAY2015
  
  3788cfc4
May 13, 2013
- Benign truncation, IDIOM 14. · 8c9d34ab
  clc5q authored 11 years ago
  
  View commits for tag benign_truncations_13MAY2013 benign_truncations_13MAY2013
  
  8c9d34ab
- Expand searches for IDIOMs 3 and 12 to global scope through Phi functions. · d74aafe3
  clc5q authored 11 years ago
  
  View commits for tag global_code_idioms_12MAY2013 global_code_idioms_12MAY2013
  
  d74aafe3
May 11, 2013
- Compatibility fix for IDA Pro 6.4. · 765b7005
  clc5q authored 11 years ago
  
  765b7005
- Expand IDIOM 3 to include subtraction of small immediate from condition code;... · d05c2c25
  clc5q authored 11 years ago
  View commits for tag code_idioms_10MAY2013 code_idioms_10MAY2013
  
  d05c2c25
May 09, 2013
- Benign underflow idioms 11 and 12; subtrahend is large constant, or both... · d34bf95a
  clc5q authored 11 years ago
  View commits for tag benign_underflows_08MAY2013B benign_underflows_08MAY2013B
  
  d34bf95a
May 08, 2013
- Benign underflow idiom #11 : Subtraction of large constant. · e31987b4
  clc5q authored 11 years ago
  
  View commits for tag benign_underflow_large_constant_08MAY2013 benign_underflow_large_constant_08MAY2013
  
  e31987b4
- Build RTLs for dryrun lib opcodes; fix uninit vars and clean up code; start... · cfe0d7e9
  clc5q authored 11 years ago
  View commits for tag new_RTLs_code_cleanup_07MAY2013 new_RTLs_code_cleanup_07MAY2013
  
  cfe0d7e9