Commits · 3292cf5cb49fd3bfa41ec9a00cf78cf858150427 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Dec 04, 2020
- 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
Nov 19, 2020
- Merge branch 'master' of git.zephyr-software.com:allnp/SMPStaticAnalyzer · cc684aad
  Clark Coleman authored 4 years ago
  
  cc684aad
- SPARK: Implement new algorithm for FindConditionalFollowNode(); compare to old. · f1acb7e8
  Clark Coleman authored 4 years ago
  
  f1acb7e8
Nov 14, 2020
- Submodule updated automatically on mega-techx36 at Sat Nov 14 01:30:03 UTC 2020 · 3a50b85f
  gitlab-runner@zephyr-software.com authored 4 years ago
  
  3a50b85f
Nov 13, 2020
- SPARK: Nearing completion of translation of multi-exit-target loops and... · fac13e3c
  Clark Coleman authored 4 years ago
  
  SPARK: Nearing completion of translation of multi-exit-target loops and SHORT_CIRCUIT_INVERTED_LOOP_EXITs.
  fac13e3c
Nov 01, 2020
- SPARK: Improve diagnostic data on unstructured CFGs. · cc6035aa
  Clark Coleman authored 4 years ago
  
  cc6035aa
Oct 31, 2020
- SPARK: Prep work for translating loops with multiple follow blocks. · 69228a5a
  Clark Coleman authored 4 years ago
  
  69228a5a
Oct 23, 2020
- SPARK: Prep work for loops with multiple follow blocks. · f0c08ba7
  Clark Coleman authored 4 years ago
  
  f0c08ba7
- SPARK: Handle wide operands (128+ bits). · daf083f8
  Clark Coleman authored 4 years ago
  
  daf083f8
Oct 13, 2020
- SPARK: Translate boundary cases of switch statements. · 4d33167a
  Clark Coleman authored 4 years ago
  
  4d33167a
Oct 11, 2020
- SPARK: Ensure translation and marking of switch INDIR_JUMP instruction. · 46f13f72
  Clark Coleman authored 4 years ago
  
  46f13f72
Oct 07, 2020
- SPARK: More precise analysis of loop exit to fix SHORT_CIRCUIT_LOOP_EXIT classification errors. · 6ae230fe
  Clark Coleman authored 4 years ago
  
  6ae230fe
- SPARK: Fix SHORT_CIRCUIT_BRANCHes that were misclassified as SHORT_CIRCUIT_LOOP_EXITs. · d14b1f85
  Clark Coleman authored 4 years ago
  
  d14b1f85
Oct 06, 2020
- SPARK: Clone StaysInLoop code to corner case CurrBlock->HasLoopHeadWithInvertedExitAsSuccessor(). · 04ba0e83
  Clark Coleman authored 4 years ago
  
  04ba0e83
- SPAR: Fix boundary case in detecting unstructured conditionals. · 8781645f
  Clark Coleman authored 4 years ago
  
  8781645f
Oct 05, 2020
- SPARK: Add INVERTED_LOOP_BACK type, detect it, follow its successor when StaysInLoop is true. · fc64d978
  Clark Coleman authored 4 years ago
  
  fc64d978
- SPARK: Translate fall-through block after conditional tail call. · 1b2f2214
  Clark Coleman authored 4 years ago
  
  1b2f2214
Oct 02, 2020
- SPARK: Add verbose env var; add StaysInLoop logic for LOOP_EXIT as was done for LOOP_BACK. · 38e3473f
  Clark Coleman authored 4 years ago
  
  38e3473f
- SPARK: Use StaysInLoop logic for tail block fall-throughs in one more place;... · deaa0caa
  Clark Coleman authored 4 years ago
  
  SPARK: Use StaysInLoop logic for tail block fall-throughs in one more place; reduce loop expr log file output.
  deaa0caa
- SPARK fix; debugging enhancements. · 2feb303a
  Clark Coleman authored 4 years ago
  
  2feb303a
- Fix IsInstIDInFunc() for chunked code layout functions. · e56913e9
  Clark Coleman authored 4 years ago
  
  e56913e9
Sep 30, 2020
- SPARK: Find unstructured if-then-else statements. · be633edf
  Clark Coleman authored 4 years ago
  
  be633edf
Sep 28, 2020
- SPARK: Translate structured loop_continue code; mark unstructured cases as untranslatable. · 35f09ea5
  Clark Coleman authored 4 years ago
  
  35f09ea5
Sep 24, 2020
- Begin identifying C/C++ loop continue statement code patterns for SPARK translation. · a72fb792
  Clark Coleman authored 4 years ago
  
  a72fb792
Sep 21, 2020
- SPARK: Translate code after conditional in guarded loop that is being skipped. · fe95d5b7
  Clark Coleman authored 4 years ago
  
  fe95d5b7
Sep 20, 2020
- SPARK: Handle INDIR_CALL at end of block. · de194b62
  Clark Coleman authored 4 years ago
  
  de194b62
Sep 18, 2020
- Handle COND_BRANCH on sign bit values in SPARK translation. · f26743c4
  Clark Coleman authored 4 years ago
  
  f26743c4
Sep 14, 2020
- SPARK translation for signed compare followed by unsigned conditional branch. · d2c4c1b0
  Clark Coleman authored 4 years ago
  
  d2c4c1b0
Sep 13, 2020
- SPARK translation improvements and crash fixes. · 9703e483
  Clark Coleman authored 4 years ago
  
  9703e483
Sep 10, 2020
- Use STATICMEMREAD info annotations instead of lumping reads in with STATICMEMWRITE. · d387dcf8
  Clark Coleman authored 4 years ago
  
  d387dcf8
Sep 08, 2020
- SPARK Ada translation fixes. · dca4d9d8
  Clark Coleman authored 4 years ago
  
  dca4d9d8
Aug 29, 2020
- SPARK crash fixes for sks and mplayer binaries. · 63eb0fec
  Clark Coleman authored 4 years ago
  
  63eb0fec
Aug 28, 2020
- More fixes for SPARK translation crashes on large files. · c25a6c28
  Clark Coleman authored 4 years ago
  
  c25a6c28
Aug 25, 2020
- SPARK crash fixes. · 27f3de54
  Clark Coleman authored 4 years ago
  
  27f3de54
Aug 24, 2020
- Fix firefox crash on SPARK output. · d63ed4c9
  Clark Coleman authored 4 years ago
  
  d63ed4c9