Commits · 40a93b1550bd5c6a7c48ca1b098073f54c329acd · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Aug 21, 2014
- Continue SPARK translation; fix libc assertion on syscall. · 430f1a1c
  clc5q authored 10 years ago
  
  430f1a1c
Aug 02, 2014
- Continue routing IDA calls through middleware layer and cleaning up code. · 2adab9cd
  clc5q authored 10 years ago
  
  2adab9cd
Jul 30, 2014
- Detect accesses to return addresses on the stack. · cf9b715e
  clc5q authored 10 years ago
  
  cf9b715e
Jul 29, 2014
- Continue replacing direct IDA SDK calls with middleware layer calls. · c69865b1
  clc5q authored 10 years ago
  
  c69865b1
Jun 26, 2014
- Add loop type analysis for translation to SPARK-Ada. · 83e6d680
  clc5q authored 10 years ago
  
  83e6d680
Jun 04, 2014
- Increase interprocedural type propagation. · 52faa415
  clc5q authored 10 years ago
  
  52faa415
Jun 02, 2014
- Fix FindCounterHelper argument pass. · d38300df
  clc5q authored 10 years ago
  
  d38300df
Jun 01, 2014
- Undo 64-bit code fix that ruined IDIOM 22. · 781da927
  clc5q authored 10 years ago
  
  781da927
May 28, 2014
- Begin loop type analysis. · 54dc4c4f
  clc5q authored 10 years ago
  
  54dc4c4f
May 24, 2014
- Detect irreducible CFGs. · 80e4e76b
  clc5q authored 10 years ago
  
  80e4e76b
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 02, 2014
- Function summary PEASOUP fine-grained info for regs. · a3a2405e
  clc5q authored 10 years ago
  
  a3a2405e
Apr 29, 2014
- Interprocedural MEDS register type propagation and intraprocedural fixes. · 2ee03571
  clc5q authored 10 years ago
  
  2ee03571
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 01, 2014
- Fix call graph processing order; plus minor OUTARGS fix. · 990fee17
  clc5q authored 10 years ago
  
  990fee17
Mar 01, 2014
- Fix crashes in ffmpeg and other 64-bit binaries. · 6616bc6e
  clc5q authored 11 years ago
  
  6616bc6e
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 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
Aug 27, 2013
- Clean up PrioritizeCallGraph() and eliminate redundant call targets. · 8bf4e23a
  clc5q authored 11 years ago
  
  View commits for tag call_graph_priority_27AUG2013 call_graph_priority_27AUG2013
  
  8bf4e23a
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 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 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 07, 2013
- Apply IDIOM 18 to index registers. · 5e6623bd
  clc5q authored 11 years ago
  
  5e6623bd
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 27, 2013
- Tweak IDIOM 10 (multiply by large constant); begin SCCP code. · eaaea646
  clc5q authored 11 years ago
  
  eaaea646
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 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
Apr 30, 2013
- Emit previously suppressed numeric annotations with an IDIOM code field. · 3dafac27
  clc5q authored 11 years ago
  
  View commits for tag IDIOM_annotations_30APR2013 IDIOM_annotations_30APR2013
  
  3dafac27
Mar 31, 2013
- Avoid UNSIGNED inference from irrelevant zero-extension on loads. · 3140347a
  clc5q authored 11 years ago
  
  View commits for tag signedness_30MAR2013 signedness_30MAR2013
  
  3140347a
Mar 30, 2013
- Do not allow DEF signedness to become mixed due to propagation of USE operand... · 3af2401e
  clc5q authored 12 years ago
  
  Do not allow DEF signedness to become mixed due to propagation of USE operand signedness within an RTL.
  View commits for tag unmixed_DEF_signedness_29MAR2013 unmixed_DEF_signedness_29MAR2013
  
  3af2401e
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
Dec 13, 2012
- Count numeric annotation; begin reaching definitions analysis. · 3a28fa87
  clc5q authored 12 years ago
  
  View commits for tag count_numeric_annots_13DEC2012 count_numeric_annots_13DEC2012
  
  3a28fa87