-
Notifications
You must be signed in to change notification settings - Fork 62
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Deploying to gh-pages from @ 8cd7a88 🚀
- Loading branch information
Showing
2,547 changed files
with
528,622 additions
and
0 deletions.
There are no files selected for viewing
72 changes: 72 additions & 0 deletions
72
...s/de.fraunhofer.aisec.cpg.analysis.fsm/-d-f-a-order-evaluator/-d-f-a-order-evaluator.html
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,72 @@ | ||
| <!doctype html> | ||
| <html> | ||
| <head> | ||
| <meta name="viewport" content="width=device-width, initial-scale=1" charset="UTF-8"> | ||
| <title>DFAOrderEvaluator</title> | ||
| <link href="../../../images/logo-icon.svg" rel="icon" type="image/svg"><script>var pathToRoot = "../../../";</script> <script>const storage = localStorage.getItem("dokka-dark-mode") | ||
| if (storage == null) { | ||
| const osDarkSchemePreferred = window.matchMedia && window.matchMedia('(prefers-color-scheme: dark)').matches | ||
| if (osDarkSchemePreferred === true) { | ||
| document.getElementsByTagName("html")[0].classList.add("theme-dark") | ||
| } | ||
| } else { | ||
| const savedDarkMode = JSON.parse(storage) | ||
| if(savedDarkMode === true) { | ||
| document.getElementsByTagName("html")[0].classList.add("theme-dark") | ||
| } | ||
| } | ||
| </script> | ||
| <script type="text/javascript" src="../../../scripts/sourceset_dependencies.js" async></script> | ||
| <link href="../../../styles/style.css" rel="Stylesheet"> | ||
| <link href="../../../styles/jetbrains-mono.css" rel="Stylesheet"> | ||
| <link href="../../../styles/main.css" rel="Stylesheet"> | ||
| <link href="../../../styles/prism.css" rel="Stylesheet"> | ||
| <link href="../../../styles/logo-styles.css" rel="Stylesheet"> | ||
| <script type="text/javascript" src="../../../scripts/clipboard.js" async></script> | ||
| <script type="text/javascript" src="../../../scripts/navigation-loader.js" async></script> | ||
| <script type="text/javascript" src="../../../scripts/platform-content-handler.js" async></script> | ||
| <script type="text/javascript" src="../../../scripts/main.js" defer></script> | ||
| <script type="text/javascript" src="../../../scripts/prism.js" async></script> | ||
| <script type="text/javascript" src="../../../scripts/symbol-parameters-wrapper_deferred.js" defer></script> | ||
| <link href="../../../styles/multimodule.css" rel="Stylesheet"></head> | ||
| <body> | ||
| <div class="navigation-wrapper" id="navigation-wrapper"> | ||
| <div id="leftToggler"><span class="icon-toggler"></span></div> | ||
| <div class="library-name"> | ||
| <a href="../../../index.html"> | ||
| <span>cpg</span> </a> </div> | ||
| <div> | ||
| <dokka-template-command data="{"@class":"org.jetbrains.dokka.base.templating.ReplaceVersionsCommand","location":"de.fraunhofer.aisec.cpg.analysis.fsm/-d-f-a-order-evaluator/-d-f-a-order-evaluator.html"}"><div class="versions-dropdown"> | ||
| <div class="versions-dropdown-button">7.1.1</div> | ||
| <div class="versions-dropdown-data"><a href="../../../../../cpg-analysis/de.fraunhofer.aisec.cpg.analysis.fsm/-d-f-a-order-evaluator/-d-f-a-order-evaluator.html">7.1.2</a><a href="-d-f-a-order-evaluator.html">7.1.1</a></div> | ||
| </div> | ||
| </dokka-template-command> </div> | ||
| <div class="pull-right d-flex"> | ||
| <div class="filter-section" id="filter-section"> | ||
| <button class="platform-tag platform-selector jvm-like" data-active="" data-filter=":cpg-analysis:dokkaHtmlPartial/main">jvm</button> | ||
| </div> | ||
| <button id="theme-toggle-button"><span id="theme-toggle"></span></button> | ||
| <div id="searchBar"></div> | ||
| </div> | ||
| </div> | ||
| <div id="container"> | ||
| <div id="leftColumn"> | ||
| <div id="sideMenu"></div> | ||
| </div> | ||
| <div id="main"> | ||
| <div class="main-content" data-page-type="member" id="content" pageids="cpg-analysis::de.fraunhofer.aisec.cpg.analysis.fsm/DFAOrderEvaluator/DFAOrderEvaluator/#de.fraunhofer.aisec.cpg.analysis.fsm.DFA#kotlin.collections.Set[de.fraunhofer.aisec.cpg.graph.Node]#kotlin.collections.Map[de.fraunhofer.aisec.cpg.graph.Node,kotlin.collections.Set[kotlin.String]]#kotlin.collections.Set[de.fraunhofer.aisec.cpg.graph.Node]#kotlin.collections.Map[de.fraunhofer.aisec.cpg.graph.Node,kotlin.Int]#kotlin.Boolean/PointingToDeclaration//439033401"> | ||
| <div class="breadcrumbs"><a href="../../index.html">cpg-analysis</a><span class="delimiter">/</span><a href="../index.html">de.fraunhofer.aisec.cpg.analysis.fsm</a><span class="delimiter">/</span><a href="index.html">DFAOrderEvaluator</a><span class="delimiter">/</span><span class="current">DFAOrderEvaluator</span></div> | ||
| <div class="cover "> | ||
| <h1 class="cover"><span>DFAOrder</span><wbr><span><span>Evaluator</span></span></h1> | ||
| </div> | ||
| <div class="platform-hinted " data-platform-hinted="data-platform-hinted"><div class="content sourceset-dependent-content" data-active="" data-togglable=":cpg-analysis:dokkaHtmlPartial/main"><div class="symbol monospace"><span class="token keyword">constructor</span><span class="token punctuation">(</span><span class="parameters "><span class="parameter ">dfa<span class="token operator">: </span><a href="../-d-f-a/index.html">DFA</a><span class="token punctuation">, </span></span><span class="parameter ">consideredBases<span class="token operator">: </span><a href="https://kotlinlang.org/api/latest/jvm/stdlib/kotlin.collections/-set/index.html">Set</a><span class="token operator"><</span><span class="token keyword"></span><a href="../../../cpg-analysis/de.fraunhofer.aisec.cpg.graph/-node/index.html">Node</a><span class="token operator">></span><span class="token punctuation">, </span></span><span class="parameter ">nodeToRelevantMethod<span class="token operator">: </span><a href="https://kotlinlang.org/api/latest/jvm/stdlib/kotlin.collections/-map/index.html">Map</a><span class="token operator"><</span><span class="token keyword"></span><a href="../../../cpg-analysis/de.fraunhofer.aisec.cpg.graph/-node/index.html">Node</a><span class="token punctuation">, </span><span class="token keyword"></span><a href="https://kotlinlang.org/api/latest/jvm/stdlib/kotlin.collections/-set/index.html">Set</a><span class="token operator"><</span><span class="token keyword"></span><a href="https://kotlinlang.org/api/latest/jvm/stdlib/kotlin/-string/index.html">String</a><span class="token operator">></span><span class="token operator">></span><span class="token punctuation">, </span></span><span class="parameter ">consideredResetNodes<span class="token operator">: </span><a href="https://kotlinlang.org/api/latest/jvm/stdlib/kotlin.collections/-set/index.html">Set</a><span class="token operator"><</span><span class="token keyword"></span><a href="../../../cpg-analysis/de.fraunhofer.aisec.cpg.graph/-node/index.html">Node</a><span class="token operator">></span><span class="token operator"> = </span>emptySet()<span class="token punctuation">, </span></span><span class="parameter ">thisPositionOfNode<span class="token operator">: </span><a href="https://kotlinlang.org/api/latest/jvm/stdlib/kotlin.collections/-map/index.html">Map</a><span class="token operator"><</span><span class="token keyword"></span><a href="../../../cpg-analysis/de.fraunhofer.aisec.cpg.graph/-node/index.html">Node</a><span class="token punctuation">, </span><span class="token keyword"></span><a href="https://kotlinlang.org/api/latest/jvm/stdlib/kotlin/-int/index.html">Int</a><span class="token operator">></span><span class="token operator"> = </span>mapOf()<span class="token punctuation">, </span></span><span class="parameter ">eliminateUnreachableCode<span class="token operator">: </span><a href="https://kotlinlang.org/api/latest/jvm/stdlib/kotlin/-boolean/index.html">Boolean</a><span class="token operator"> = </span><span class="token boolean">true</span></span></span><span class="token punctuation">)</span></div></div></div> | ||
| </div> | ||
| <div class="footer"> | ||
| <span class="go-to-top-icon"><a href="#content" id="go-to-top-link"></a></span><span>© 2023 Copyright</span><span class="pull-right"><span>Generated by </span><a href="https://github.com/Kotlin/dokka"><span>dokka</span><span class="padded-icon"></span></a></span> | ||
| </div> | ||
| </div> | ||
| </div> | ||
| </body> | ||
| </html> | ||
|
|
||
|
|
72 changes: 72 additions & 0 deletions
72
...raunhofer.aisec.cpg.analysis.fsm/-d-f-a-order-evaluator/action-accepting-termination.html
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,72 @@ | ||
| <!doctype html> | ||
| <html> | ||
| <head> | ||
| <meta name="viewport" content="width=device-width, initial-scale=1" charset="UTF-8"> | ||
| <title>actionAcceptingTermination</title> | ||
| <link href="../../../images/logo-icon.svg" rel="icon" type="image/svg"><script>var pathToRoot = "../../../";</script> <script>const storage = localStorage.getItem("dokka-dark-mode") | ||
| if (storage == null) { | ||
| const osDarkSchemePreferred = window.matchMedia && window.matchMedia('(prefers-color-scheme: dark)').matches | ||
| if (osDarkSchemePreferred === true) { | ||
| document.getElementsByTagName("html")[0].classList.add("theme-dark") | ||
| } | ||
| } else { | ||
| const savedDarkMode = JSON.parse(storage) | ||
| if(savedDarkMode === true) { | ||
| document.getElementsByTagName("html")[0].classList.add("theme-dark") | ||
| } | ||
| } | ||
| </script> | ||
| <script type="text/javascript" src="../../../scripts/sourceset_dependencies.js" async></script> | ||
| <link href="../../../styles/style.css" rel="Stylesheet"> | ||
| <link href="../../../styles/jetbrains-mono.css" rel="Stylesheet"> | ||
| <link href="../../../styles/main.css" rel="Stylesheet"> | ||
| <link href="../../../styles/prism.css" rel="Stylesheet"> | ||
| <link href="../../../styles/logo-styles.css" rel="Stylesheet"> | ||
| <script type="text/javascript" src="../../../scripts/clipboard.js" async></script> | ||
| <script type="text/javascript" src="../../../scripts/navigation-loader.js" async></script> | ||
| <script type="text/javascript" src="../../../scripts/platform-content-handler.js" async></script> | ||
| <script type="text/javascript" src="../../../scripts/main.js" defer></script> | ||
| <script type="text/javascript" src="../../../scripts/prism.js" async></script> | ||
| <script type="text/javascript" src="../../../scripts/symbol-parameters-wrapper_deferred.js" defer></script> | ||
| <link href="../../../styles/multimodule.css" rel="Stylesheet"></head> | ||
| <body> | ||
| <div class="navigation-wrapper" id="navigation-wrapper"> | ||
| <div id="leftToggler"><span class="icon-toggler"></span></div> | ||
| <div class="library-name"> | ||
| <a href="../../../index.html"> | ||
| <span>cpg</span> </a> </div> | ||
| <div> | ||
| <dokka-template-command data="{"@class":"org.jetbrains.dokka.base.templating.ReplaceVersionsCommand","location":"de.fraunhofer.aisec.cpg.analysis.fsm/-d-f-a-order-evaluator/action-accepting-termination.html"}"><div class="versions-dropdown"> | ||
| <div class="versions-dropdown-button">7.1.1</div> | ||
| <div class="versions-dropdown-data"><a href="../../../../../cpg-analysis/de.fraunhofer.aisec.cpg.analysis.fsm/-d-f-a-order-evaluator/action-accepting-termination.html">7.1.2</a><a href="action-accepting-termination.html">7.1.1</a></div> | ||
| </div> | ||
| </dokka-template-command> </div> | ||
| <div class="pull-right d-flex"> | ||
| <div class="filter-section" id="filter-section"> | ||
| <button class="platform-tag platform-selector jvm-like" data-active="" data-filter=":cpg-analysis:dokkaHtmlPartial/main">jvm</button> | ||
| </div> | ||
| <button id="theme-toggle-button"><span id="theme-toggle"></span></button> | ||
| <div id="searchBar"></div> | ||
| </div> | ||
| </div> | ||
| <div id="container"> | ||
| <div id="leftColumn"> | ||
| <div id="sideMenu"></div> | ||
| </div> | ||
| <div id="main"> | ||
| <div class="main-content" data-page-type="member" id="content" pageids="cpg-analysis::de.fraunhofer.aisec.cpg.analysis.fsm/DFAOrderEvaluator/actionAcceptingTermination/#kotlin.String#de.fraunhofer.aisec.cpg.analysis.fsm.DFA#kotlin.Boolean/PointingToDeclaration//439033401"> | ||
| <div class="breadcrumbs"><a href="../../index.html">cpg-analysis</a><span class="delimiter">/</span><a href="../index.html">de.fraunhofer.aisec.cpg.analysis.fsm</a><span class="delimiter">/</span><a href="index.html">DFAOrderEvaluator</a><span class="delimiter">/</span><span class="current">actionAcceptingTermination</span></div> | ||
| <div class="cover "> | ||
| <h1 class="cover"><span>action</span><wbr><span>Accepting</span><wbr><span><span>Termination</span></span></h1> | ||
| </div> | ||
| <div class="platform-hinted " data-platform-hinted="data-platform-hinted"><div class="content sourceset-dependent-content" data-active="" data-togglable=":cpg-analysis:dokkaHtmlPartial/main"><div class="symbol monospace"><span class="token keyword">open </span><span class="token keyword"></span><span class="token keyword">fun </span><a href="action-accepting-termination.html"><span class="token function">actionAcceptingTermination</span></a><span class="token punctuation">(</span><span class="parameters "><span class="parameter ">base<span class="token operator">: </span><a href="https://kotlinlang.org/api/latest/jvm/stdlib/kotlin/-string/index.html">String</a><span class="token punctuation">, </span></span><span class="parameter ">fsm<span class="token operator">: </span><a href="../-d-f-a/index.html">DFA</a><span class="token punctuation">, </span></span><span class="parameter ">interproceduralFlow<span class="token operator">: </span><a href="https://kotlinlang.org/api/latest/jvm/stdlib/kotlin/-boolean/index.html">Boolean</a></span></span><span class="token punctuation">)</span></div><p class="paragraph">Contains the functionality which is executed if the DFA terminated in an accepting state for the given <a href="action-accepting-termination.html">base</a>. This means that all required statements have been executed for <a href="action-accepting-termination.html">base</a> so far. The <a href="action-accepting-termination.html">fsm</a> holds the execution trace found by the analysis.</p></div></div> | ||
| </div> | ||
| <div class="footer"> | ||
| <span class="go-to-top-icon"><a href="#content" id="go-to-top-link"></a></span><span>© 2023 Copyright</span><span class="pull-right"><span>Generated by </span><a href="https://github.com/Kotlin/dokka"><span>dokka</span><span class="padded-icon"></span></a></span> | ||
| </div> | ||
| </div> | ||
| </div> | ||
| </body> | ||
| </html> | ||
|
|
||
|
|
72 changes: 72 additions & 0 deletions
72
...fer.aisec.cpg.analysis.fsm/-d-f-a-order-evaluator/action-missing-transition-for-node.html
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,72 @@ | ||
| <!doctype html> | ||
| <html> | ||
| <head> | ||
| <meta name="viewport" content="width=device-width, initial-scale=1" charset="UTF-8"> | ||
| <title>actionMissingTransitionForNode</title> | ||
| <link href="../../../images/logo-icon.svg" rel="icon" type="image/svg"><script>var pathToRoot = "../../../";</script> <script>const storage = localStorage.getItem("dokka-dark-mode") | ||
| if (storage == null) { | ||
| const osDarkSchemePreferred = window.matchMedia && window.matchMedia('(prefers-color-scheme: dark)').matches | ||
| if (osDarkSchemePreferred === true) { | ||
| document.getElementsByTagName("html")[0].classList.add("theme-dark") | ||
| } | ||
| } else { | ||
| const savedDarkMode = JSON.parse(storage) | ||
| if(savedDarkMode === true) { | ||
| document.getElementsByTagName("html")[0].classList.add("theme-dark") | ||
| } | ||
| } | ||
| </script> | ||
| <script type="text/javascript" src="../../../scripts/sourceset_dependencies.js" async></script> | ||
| <link href="../../../styles/style.css" rel="Stylesheet"> | ||
| <link href="../../../styles/jetbrains-mono.css" rel="Stylesheet"> | ||
| <link href="../../../styles/main.css" rel="Stylesheet"> | ||
| <link href="../../../styles/prism.css" rel="Stylesheet"> | ||
| <link href="../../../styles/logo-styles.css" rel="Stylesheet"> | ||
| <script type="text/javascript" src="../../../scripts/clipboard.js" async></script> | ||
| <script type="text/javascript" src="../../../scripts/navigation-loader.js" async></script> | ||
| <script type="text/javascript" src="../../../scripts/platform-content-handler.js" async></script> | ||
| <script type="text/javascript" src="../../../scripts/main.js" defer></script> | ||
| <script type="text/javascript" src="../../../scripts/prism.js" async></script> | ||
| <script type="text/javascript" src="../../../scripts/symbol-parameters-wrapper_deferred.js" defer></script> | ||
| <link href="../../../styles/multimodule.css" rel="Stylesheet"></head> | ||
| <body> | ||
| <div class="navigation-wrapper" id="navigation-wrapper"> | ||
| <div id="leftToggler"><span class="icon-toggler"></span></div> | ||
| <div class="library-name"> | ||
| <a href="../../../index.html"> | ||
| <span>cpg</span> </a> </div> | ||
| <div> | ||
| <dokka-template-command data="{"@class":"org.jetbrains.dokka.base.templating.ReplaceVersionsCommand","location":"de.fraunhofer.aisec.cpg.analysis.fsm/-d-f-a-order-evaluator/action-missing-transition-for-node.html"}"><div class="versions-dropdown"> | ||
| <div class="versions-dropdown-button">7.1.1</div> | ||
| <div class="versions-dropdown-data"><a href="../../../../../cpg-analysis/de.fraunhofer.aisec.cpg.analysis.fsm/-d-f-a-order-evaluator/action-missing-transition-for-node.html">7.1.2</a><a href="action-missing-transition-for-node.html">7.1.1</a></div> | ||
| </div> | ||
| </dokka-template-command> </div> | ||
| <div class="pull-right d-flex"> | ||
| <div class="filter-section" id="filter-section"> | ||
| <button class="platform-tag platform-selector jvm-like" data-active="" data-filter=":cpg-analysis:dokkaHtmlPartial/main">jvm</button> | ||
| </div> | ||
| <button id="theme-toggle-button"><span id="theme-toggle"></span></button> | ||
| <div id="searchBar"></div> | ||
| </div> | ||
| </div> | ||
| <div id="container"> | ||
| <div id="leftColumn"> | ||
| <div id="sideMenu"></div> | ||
| </div> | ||
| <div id="main"> | ||
| <div class="main-content" data-page-type="member" id="content" pageids="cpg-analysis::de.fraunhofer.aisec.cpg.analysis.fsm/DFAOrderEvaluator/actionMissingTransitionForNode/#de.fraunhofer.aisec.cpg.graph.Node#de.fraunhofer.aisec.cpg.analysis.fsm.DFA#kotlin.Boolean/PointingToDeclaration//439033401"> | ||
| <div class="breadcrumbs"><a href="../../index.html">cpg-analysis</a><span class="delimiter">/</span><a href="../index.html">de.fraunhofer.aisec.cpg.analysis.fsm</a><span class="delimiter">/</span><a href="index.html">DFAOrderEvaluator</a><span class="delimiter">/</span><span class="current">actionMissingTransitionForNode</span></div> | ||
| <div class="cover "> | ||
| <h1 class="cover"><span>action</span><wbr><span>Missing</span><wbr><span>Transition</span><wbr><span>For</span><wbr><span><span>Node</span></span></h1> | ||
| </div> | ||
| <div class="platform-hinted " data-platform-hinted="data-platform-hinted"><div class="content sourceset-dependent-content" data-active="" data-togglable=":cpg-analysis:dokkaHtmlPartial/main"><div class="symbol monospace"><span class="token keyword">open </span><span class="token keyword"></span><span class="token keyword">fun </span><a href="action-missing-transition-for-node.html"><span class="token function">actionMissingTransitionForNode</span></a><span class="token punctuation">(</span><span class="parameters "><span class="parameter ">node<span class="token operator">: </span><a href="../../../cpg-analysis/de.fraunhofer.aisec.cpg.graph/-node/index.html">Node</a><span class="token punctuation">, </span></span><span class="parameter ">fsm<span class="token operator">: </span><a href="../-d-f-a/index.html">DFA</a><span class="token punctuation">, </span></span><span class="parameter ">interproceduralFlow<span class="token operator">: </span><a href="https://kotlinlang.org/api/latest/jvm/stdlib/kotlin/-boolean/index.html">Boolean</a></span></span><span class="token punctuation">)</span></div><p class="paragraph">Contains the functionality which is executed if the DFA does not contain a suitable transition for the given <a href="action-missing-transition-for-node.html">node</a>. The evaluation ensures that the <a href="action-missing-transition-for-node.html">node</a> is relevant, i.e., its operator is considered by the DFA and its base is subject to analysis. This means that the order is broken at <a href="action-missing-transition-for-node.html">node</a>.</p></div></div> | ||
| </div> | ||
| <div class="footer"> | ||
| <span class="go-to-top-icon"><a href="#content" id="go-to-top-link"></a></span><span>© 2023 Copyright</span><span class="pull-right"><span>Generated by </span><a href="https://github.com/Kotlin/dokka"><span>dokka</span><span class="padded-icon"></span></a></span> | ||
| </div> | ||
| </div> | ||
| </div> | ||
| </body> | ||
| </html> | ||
|
|
||
|
|
Oops, something went wrong.