Commits · bf08e5931447aaeeeec5592f28be7cfe724472f0 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Dec 24, 2018
- submod · bf08e593
  Jason Hiser authored 6 years ago
  
  bf08e593
- Track constant InArg values, use them in expression simplification. · bd2d6c56
  Clark Coleman authored 6 years ago
  
  bd2d6c56
Dec 19, 2018
- Make StackPtrCopySet more robust, exclude bad entries to avoid assertion failures. · 91f1500b
  Clark Coleman authored 6 years ago
  
  91f1500b
Dec 15, 2018
- Merge branch 'master' of git.zephyr-software.com:allnp/SMPStaticAnalyzer · e325421c
  Clark Coleman authored 6 years ago
  
  e325421c
- Compute loop follow nodes better; separate follow node errors from more... · 2a8ed7d5
  Clark Coleman authored 6 years ago
  2a8ed7d5
Dec 14, 2018
- add irdb libs and lib path to libstars.so · c26a534c
  Jason Hiser authored 6 years ago
  
  c26a534c
Dec 12, 2018
- Analyze indirect mem reads in case they resolve to static mem reads. · d73db27a
  Clark Coleman authored 6 years ago
  
  d73db27a
Dec 07, 2018
- Increase robustness, fix crashes. · 72e2f136
  Clark Coleman authored 6 years ago
  
  72e2f136
- Instruction decoding fixes. · 1d93cfc3
  Clark Coleman authored 6 years ago
  
  1d93cfc3
Dec 06, 2018
- Merge branch 'master' of git.zephyr-software.com:allnp/SMPStaticAnalyzer · 499b37f5
  Clark Coleman authored 6 years ago
  
  499b37f5
- Try to get STARS/IRDB to imitate STARS/IDA more closely on static memory... · 33749059
  Clark Coleman authored 6 years ago
  33749059
Dec 03, 2018
- Merge branch 'my_stars_improvements' · 46c06c3f
  Jason Hiser authored 6 years ago
  
  46c06c3f
- Merge branch 'my_stars_improvements' of... · 9969464f
  Jason Hiser authored 6 years ago
  9969464f
- packed stars_irdb_instruction_t for memory saving · 558e554e
  Jason Hiser authored 6 years ago
  
  558e554e
Dec 01, 2018
- Ignore BSS data segments when searching for addresses to speed up. · ef3553a3
  Clark Coleman authored 6 years ago
  
  ef3553a3
- Fix STARS-IRDB handling of various floating point and SSE operands. · 8f0a08f5
  Clark Coleman authored 6 years ago
  
  8f0a08f5
Nov 30, 2018
- Merge branch 'my_stars_improvements' into 'master' · ce266ec3
  Jason Hiser authored 6 years ago
  ce266ec3
- Pack DefOrUse to save memory; delete redundant call to STAR_GetCmd() from... · 3e623e78
  Clark Coleman authored 6 years ago
  3e623e78
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
- Robustness fix for likely unreachable code that has memop that is just the address zero. · 29956920
  Clark Coleman authored 6 years ago
  
  29956920
- Track min and max values written directly to global static vars, use in memory... · 8536d125
  Clark Coleman authored 6 years ago
  8536d125
Nov 24, 2018
- Crash fix for tar binary; loop analysis fixes for move_globals annotations. · 9ae06334
  Clark Coleman authored 6 years ago
  
  9ae06334
Nov 20, 2018
- Handle unpinned and pinned fixed calls. · 482e04ee
  Clark Coleman authored 6 years ago
  
  482e04ee
- Fixed-call-push robustness fix; minor speedup; add loop analysis diagnostic counters. · b3eb8709
  Clark Coleman authored 6 years ago
  
  b3eb8709
- Merge branch 'loop_memory_analysis' into 'master' · 046d031b
  Clark Coleman authored 6 years ago
  046d031b
- Minor fixes and speedups. · b1fe4e49
  Clark Coleman authored 6 years ago
  
  b1fe4e49
Nov 19, 2018
- Merge branch 'thanos_support' into 'master' · a49addbc
  Matthew McGill authored 6 years ago
  a49addbc
Nov 16, 2018
- Merge branch 'loop_memory_analysis' into 'master' · 74ea3f48
  Clark Coleman authored 6 years ago
  74ea3f48
- Generalize memory annotations to static and stack reads and writes. · cac5dd22
  Clark Coleman authored 6 years ago
  
  cac5dd22
- Merge branch 'master' into thanos_support · a1ad76c8
  Jason Hiser authored 6 years ago
  
  a1ad76c8
Nov 13, 2018
- corrected path to libehp · e86d0b03
  Jason Hiser authored 6 years ago
  
  e86d0b03
Nov 07, 2018
- Update README.txt, somewhat modern by cutting a ton of old stuff out. · 2aa2a42b
  Jason Hiser authored 6 years ago
  
  2aa2a42b
- Generalize loop memory write analyses, improve symbolic analyses. · a198edb9
  Clark Coleman authored 6 years ago
  
  a198edb9
Nov 06, 2018
- submod · 26d75307
  Jason Hiser authored 6 years ago
  
  26d75307
Nov 02, 2018
- build libstars as a .so instead of a .a, updated gitignore to correspond · 37f3d85c
  Jason Hiser authored 6 years ago
  
  37f3d85c
Oct 27, 2018
- submod · e22452d1
  Jason Hiser authored 6 years ago
  
  e22452d1