Commits · cc763f0712ba8e5d743ac88f661516d747fc5935 · Open Source Software / SMPStaticAnalyzer

Dec 24, 2018
- Merge branch 'master' of git.zephyr-software.com:allnp/SMPStaticAnalyzer · cc763f07
  Clark Coleman authored 6 years ago
  
  View commits for tag cfar-phase3-final cfar-phase3-final
  
  cc763f07
- Improved induction variable identification for optimized binary code patterns. · a04dd127
  Clark Coleman authored 6 years ago
  
  a04dd127
- 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
  
  Compute loop follow nodes better; separate follow node errors from more serious unstructured CFG errors.
  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
  
  Try to get STARS/IRDB to imitate STARS/IDA more closely on static memory operand processing to help move_globals.
  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
  
  Merge branch 'my_stars_improvements' of git.zephyr-software.com:allnp/SMPStaticAnalyzer into my_stars_improvements
  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
  
  My stars improvements See merge request allnp/SMPStaticAnalyzer!13
  ce266ec3
- Pack DefOrUse to save memory; delete redundant call to STAR_GetCmd() from... · 3e623e78
  Clark Coleman authored 6 years ago
  
  Pack DefOrUse to save memory; delete redundant call to STAR_GetCmd() from STARS_IRDB_Instruction_t constructor.
  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
  
  additions to 1) print number of instructions and operands created, destroyed, and leaked. 2) fixed MakeVoidPointer re-use issues.
  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
  
  Track min and max values written directly to global static vars, use in memory expresssion simplification; other memory analysis generalizations.
  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
  
  Minor fixes and speedups. See merge request allnp/SMPStaticAnalyzer!12
  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
  
  Thanos support See merge request allnp/SMPStaticAnalyzer!11
  a49addbc
Nov 16, 2018
- Merge branch 'loop_memory_analysis' into 'master' · 74ea3f48
  Clark Coleman authored 6 years ago
  
  Loop memory analysis See merge request allnp/SMPStaticAnalyzer!10
  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