Commits · ba4703caafbe7819c745d31f99b0d9bc167a9b2d · Open Source Software / SMPStaticAnalyzer

Oct 13, 2014
- Continue SPARK Ada translation. · 189fd3c1
  clc5q authored 10 years ago
  
  189fd3c1
Sep 25, 2014
- Handle fast return suppression on tail call cases. · e53dc758
  clc5q authored 10 years ago
  
  e53dc758
Sep 23, 2014

Emit basic annotations and STARScallreturn annotations for unreachable,... · feef6bb4

clc5q authored 10 years ago

Emit basic annotations and STARScallreturn annotations for unreachable, removed code, because the unreachable determination might be due to IDA errors.

feef6bb4

Sep 17, 2014
- Continue SPARK Ada translation. · 03d73152
  clc5q authored 10 years ago
  
  03d73152
Aug 29, 2014
- Emit *.STARScallreturn file with info about fast returns and return address safety. · dd7c0baa
  clc5q authored 10 years ago
  
  dd7c0baa
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