Commits · 30a39087bc7855f82f6b24e6aacaf94370a97769 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Mar 15, 2021
- Revert "Merge branch 'master' of git.zephyr-software.com:opensrc/SMPStaticAnalyzer" · 30a39087
  Jason Hiser authored 4 years ago
  
  This reverts commit c46040b7, reversing changes made to 0a39c68a.
  30a39087
Mar 11, 2021
- SPARK: Improvements to FindSingleExpression() and short-circuit expression translation. · 268287cd
  Clark Coleman authored 4 years ago
  
  268287cd
Mar 04, 2021
- Recognize xorps and xorpd of an SSE reg with itself as a register clearing idiom. · 346a5026
  Clark Coleman authored 4 years ago
  
  346a5026
Mar 03, 2021
- SPARK: Use flags reg at top of short circuit expr; parenthesize subexprs. · 65c92a0b
  Clark Coleman authored 4 years ago
  
  65c92a0b
Mar 01, 2021
- SPARK: CLONING 10: Clone to fix FTNotDominated and FTDeadEnd combination. · eb15a69d
  Clark Coleman authored 4 years ago
  
  eb15a69d
- SPARK: CLONING 9: Clone to solve NFTNotDominated and NFTDeadEnd combination. · cd2c115d
  Clark Coleman authored 4 years ago
  
  cd2c115d
Feb 27, 2021
- SPARK: CLONING 8: regular IfThen dominance problem. · 434f4a49
  Clark Coleman authored 4 years ago
  
  434f4a49
- SPARK: CLONING 7 for OddIfThen dominance problem. · 222f0474
  Clark Coleman authored 4 years ago
  
  222f0474
Feb 26, 2021
- SPARK: Implement another double cloning for structuring unstructured conditionals. · b4337173
  Clark Coleman authored 4 years ago
  
  b4337173
Feb 25, 2021
- Avoid crashing on bad stack access code caused by LAF transform. · 80a6f7a8
  Clark Coleman authored 4 years ago
  
  80a6f7a8
- Prevent crash in Dump() method. · 057e8175
  Clark Coleman authored 4 years ago
  
  057e8175
- Increase debugging output on fatal error for stack access table builder. · e2d22f86
  Clark Coleman authored 4 years ago
  
  e2d22f86
Feb 24, 2021
- SPARK: Cloning expansion and fixes. · d45c665a
  Clark Coleman authored 4 years ago
  
  d45c665a
Feb 22, 2021
- SPARK: Expand cloning beyond FT or NFT block heads. · 2222d000
  Clark Coleman authored 4 years ago
  
  2222d000
Feb 19, 2021
- SPARK: Implement double cloning (two paths at once). · 471b6439
  Clark Coleman authored 4 years ago
  
  471b6439
Feb 17, 2021
- SPARK: Cloning fixes. · 0702a045
  Clark Coleman authored 4 years ago
  
  0702a045
Feb 13, 2021
- SPARK: Cloning fixes. · 2d39b25b
  Clark Coleman authored 4 years ago
  
  2d39b25b
Feb 10, 2021
- SPARK: Massive update to implement block cloning to structured CFGs for translation. · 9e2c2c6e
  Clark Coleman authored 4 years ago
  
  9e2c2c6e
Jan 15, 2021
- Classify loop branches and jumps even for non-SPARK runs. · cea88588
  Clark Coleman authored 4 years ago
  
  cea88588
Jan 11, 2021
- SPARK: Finish prep for block cloning. · 6b50beb0
  Clark Coleman authored 4 years ago
  
  6b50beb0
Jan 07, 2021
- SPARK: Continue preparation for cloning using TCFG (translation CFG) data structures. · 04b15abc
  Clark Coleman authored 4 years ago
  
  04b15abc
Jan 02, 2021
- SPARK: Some fixes; prep for basic block cloning. · 55fa551a
  Clark Coleman authored 4 years ago
  
  55fa551a
Dec 29, 2020
- SPARK: Detect unstructured conditionals that can be structured by code cloning. · 717a09fa
  Clark Coleman authored 4 years ago
  
  717a09fa
Dec 27, 2020
- SPARK: Convert to DomFrontiers algorithm for FindConditionalFollowNode(), stop... · fe7b2338
  Clark Coleman authored 4 years ago
  
  SPARK: Convert to DomFrontiers algorithm for FindConditionalFollowNode(), stop calling others and comparing.
  fe7b2338
Dec 25, 2020
- SPARK: Perfect the version of FindConditionalFollowNode() based on dominance frontiers. · ab65bc41
  Clark Coleman authored 4 years ago
  
  ab65bc41
Dec 21, 2020
- SPARK: switch statement fixex, code cleanup. · 8b65295d
  Clark Coleman authored 4 years ago
  
  8b65295d
Dec 17, 2020
- SPARK: Speed ups, including using DomFrontier info for block dominance tests. · 77f72b54
  Clark Coleman authored 4 years ago
  
  77f72b54
Dec 16, 2020
- SPARK: Switch statement analysis and other CFG fixes. · 4a7a5006
  Clark Coleman authored 4 years ago
  
  4a7a5006
Dec 15, 2020
- SPARK: Update CFG error messages for new conditional follow node method. · ca5282bd
  Clark Coleman authored 4 years ago
  
  ca5282bd
Dec 13, 2020
- SPARK: CFG analysis fixes: conditionals, loop breaks, loop continue statements. · b30aba6e
  Clark Coleman authored 4 years ago
  
  b30aba6e
Dec 09, 2020
- SPARK: Move translation of multiple loop exit targets inside loop procedure;... · da0919f1
  Clark Coleman authored 4 years ago
  
  SPARK: Move translation of multiple loop exit targets inside loop procedure; more conditional follow node fixes.
  da0919f1
Dec 07, 2020
- Code cleanup and speedup; use RPO numbers to avoid back edges instead of dominator relations. · b28bc67e
  Clark Coleman authored 4 years ago
  
  b28bc67e
Dec 05, 2020
- SPARK: Detect unstructured bypass of conditional follow node. · a997ede0
  Clark Coleman authored 4 years ago
  
  a997ede0
Dec 04, 2020
- SPARK: Use new, correct OddIfThenCase determination. · b44ff9ce
  Clark Coleman authored 4 years ago
  
  b44ff9ce
- SPARK: Precise determination of if-then, odd-if-then and if-then-else; comparison to old findings. · 3292cf5c
  Clark Coleman authored 4 years ago
  
  3292cf5c
Nov 27, 2020
- SPARK: More FindConditionalFollowNode() improvements. · 18158bb1
  Clark Coleman authored 4 years ago
  
  18158bb1
Nov 25, 2020
- SPARK: Continue improvements to new FindConditionalFollowNode() algorithm. · 376a7178
  Clark Coleman authored 4 years ago
  
  376a7178
Nov 21, 2020
- Clean up integer types and debug output. · 74f6fd98
  Clark Coleman authored 4 years ago
  
  74f6fd98
- Fix RPO block numbering, after only 14 years of error. · 267cfc1d
  Clark Coleman authored 4 years ago
  
  267cfc1d
Nov 20, 2020
- SPARK: Improve detection of unstructured conditional statements. · 5ac5cdf3
  Clark Coleman authored 4 years ago
  
  5ac5cdf3