Commits · 0a39c68afdf8849c6ad8d01613fe62ff3c2f93e3 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Mar 15, 2021
- Updates for ubuntu20's compiler · 0a39c68a
  Jason Hiser authored 4 years ago
  
  0a39c68a
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 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 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 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 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
- 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
- SPARK: Implement new algorithm for FindConditionalFollowNode(); compare to old. · f1acb7e8
  Clark Coleman authored 4 years ago
  
  f1acb7e8
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
Oct 13, 2020
- SPARK: Translate boundary cases of switch statements. · 4d33167a
  Clark Coleman authored 4 years ago
  
  4d33167a
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
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 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 08, 2020
- SPARK Ada translation fixes. · dca4d9d8
  Clark Coleman authored 4 years ago
  
  dca4d9d8