Commits · c98e3303e9ff52b7b5a4ddf6ae1adf867b920a27 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Nov 29, 2018
- optimize STARS_IRDB_instruction_t size · c98e3303
  Jason Hiser authored 6 years ago
  
  c98e3303
- fixed bytewidht issue · 11aa8b52
  Jason Hiser authored 6 years ago
  
  11aa8b52
- additions to 1) print number of instructions and operands created, destroyed, ... · 1f1fd3c9
  Jason Hiser authored 6 years ago
  1f1fd3c9
- Reduce void operand memory. · 80936666
  Clark Coleman authored 6 years ago
  
  80936666
Nov 28, 2018
- Reduce memory consumption. · 4c19cffe
  Clark Coleman authored 6 years ago
  
  4c19cffe
Nov 26, 2018
- Track min and max values written directly to global static vars, use in memory... · 8536d125
  Clark Coleman authored 6 years ago
  8536d125
Nov 20, 2018
- Fixed-call-push robustness fix; minor speedup; add loop analysis diagnostic counters. · b3eb8709
  Clark Coleman authored 6 years ago
  
  b3eb8709
- Minor fixes and speedups. · b1fe4e49
  Clark Coleman authored 6 years ago
  
  b1fe4e49
Nov 16, 2018
- Generalize memory annotations to static and stack reads and writes. · cac5dd22
  Clark Coleman authored 6 years ago
  
  cac5dd22
Nov 07, 2018
- Generalize loop memory write analyses, improve symbolic analyses. · a198edb9
  Clark Coleman authored 6 years ago
  
  a198edb9
Oct 24, 2018
- WIP for memory range annotations; add constant propagation to STARS_Option_t. · 790b26f9
  Clark Coleman authored 6 years ago
  
  790b26f9
Oct 16, 2018
- Begin move_globals support via generalizing loop analyses to analyze static global memory writes. · 7ecdd710
  Clark Coleman authored 6 years ago
  
  7ecdd710
Oct 06, 2018
- Fix IRDB read/written bits on invisible operand opcodes like div, mul, and cqo. · 1ea968ee
  Clark Coleman authored 6 years ago
  
  1ea968ee
Sep 28, 2018
- Increase robustness when there is no fall-through inst (capstone problem on... · de3552aa
  Clark Coleman authored 6 years ago
  de3552aa
Sep 25, 2018
- Prepare for use of libehp to get EH_FRAME section info. · 7fe27636
  Clark Coleman authored 6 years ago
  
  7fe27636
Sep 18, 2018
- Audit func boundaries vs. catch block boundaries; begin detection of global... · 3b56cf16
  Clark Coleman authored 6 years ago
  3b56cf16
Sep 04, 2018
- Changed class name · 18113297
  Matthew McGill authored 6 years ago
  
  18113297
- Speedup for changes required to support unpinned IBTs · 4f98acf7
  Matthew McGill authored 6 years ago
  
  4f98acf7
Sep 03, 2018
- Begin using IDA Pro catch block addrs to improve CFG. · bb0819aa
  Clark Coleman authored 6 years ago
  
  bb0819aa
Aug 10, 2018
- Fix fall-through and conditional tail call code in SMPFunction::ComputeReturnTargets(). · a0694899
  Clark Coleman authored 6 years ago
  
  a0694899
Aug 05, 2018
- RTL cleanup for floating point opcodes. · ec84d76d
  Clark Coleman authored 6 years ago
  
  ec84d76d
Aug 01, 2018
- Build RTLs and better handle 8087 floating point opcodes. · c83f278c
  Clark Coleman authored 6 years ago
  
  View commits for tag CFAR_AEI CFAR_AEI
  
  c83f278c
Jul 25, 2018
- Don't allow PLT funcs to be classified as leafs; better recognition of PLT funcs. · 268b1b50
  Clark Coleman authored 6 years ago
  
  268b1b50
Jul 21, 2018
- Improve SCCP, CONSTARG annotations, and track args to strcpy_chk() just like strcpy() is tracked. · ebe26e04
  Clark Coleman authored 6 years ago
  
  ebe26e04
Jul 20, 2018
- Fixes to SCCP and annotations for const-siz malloc buffers passed to vulnerable library functions. · 4a9d7c27
  Clark Coleman authored 6 years ago
  
  4a9d7c27
- Fixes to SCCP and annotations for const-siz malloc buffers passed to vulnerable library functions. · 953ff0e1
  Clark Coleman authored 6 years ago
  
  953ff0e1
Jun 25, 2018
- Make methods machine independent to ease porting. · 305a7689
  Clark Coleman authored 6 years ago
  
  305a7689
May 27, 2018
- Trivial speedup; learning git. · 0e66d540
  Clark Coleman authored 6 years ago
  0e66d540
May 19, 2018
- Handle duplicate basic induction variables. · b2870a07
  clc5q authored 6 years ago
  b2870a07
May 15, 2018
- Output more alarms, exclude segregs from data flow operand category. · 5f738e50
  clc5q authored 6 years ago
  5f738e50
May 10, 2018
- Fixes for STACKMEMRANGE annotations. · 346ea71b
  clc5q authored 6 years ago
  346ea71b
May 09, 2018
- Emit STACKMEMRANGE annotations for StackPtrCopy instructions. · d559c37f
  clc5q authored 6 years ago
  d559c37f
- Formatting of STACKMEMRANGE annotations, prep work for emitting those... · 6de342b4
  clc5q authored 6 years ago
  6de342b4
May 07, 2018
- Emit first STACKMEMRANGE annotations. · 26720291
  clc5q authored 6 years ago
  26720291
Apr 20, 2018
- Speed-up of AliasAnalysis(). · 6ae6d1f7
  clc5q authored 7 years ago
  6ae6d1f7
Apr 12, 2018
- Avoid infinite looping on FindConditionalBranchTerminus(); only Dump()... · c58908ab
  clc5q authored 7 years ago
  c58908ab
Apr 06, 2018
- Drive SPARK translation from command-line option. · 997b89e6
  clc5q authored 7 years ago
  997b89e6
Apr 04, 2018
- Make verbose loop analysis output depend on environment var STARS_VERBOSE_LOOPS. · d8dbfd90
  clc5q authored 7 years ago
  d8dbfd90
Apr 01, 2018
- Add command-line option for deep loop analyses. · 0cc1cfbf
  clc5q authored 7 years ago
  0cc1cfbf
Mar 17, 2018
- better warning handling · 73d78e40
  jdh8d authored 7 years ago
  73d78e40