leaks-when-analysis
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
leaks-when-analysis [2018/04/24 19:52] admin |
leaks-when-analysis [2018/05/15 16:56] admin |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Leaks-when analyser ====== | ====== Leaks-when analyser ====== | ||
| - | Leaks-when analyser has a a user-facing frontend application (part of [[sql-privacy-analyser|SQL-privacy analyser]]) that allows to extend models by attaching SQL scripts to its elements. SQL queries are added to tasks and SQL database schemas are added to data objects. SQL scripts are attached by adding specific labels into the xml code of the model. The editor uses [[https://github.com/pleak-tools/pleak-leaks-when-ast-transformation|pleak-leaks-when-ast-transformation]] component as a communication provider between the editor and [[https://github.com/pleak-tools/pleak-leaks-when-analysis|pleak-leaks-when-analysis]] tool to perform an analyze on the extended model to combine and present the results. Editor, connector component and analysis tool have separate codebases, but they are all required to use the full functionality of the analyser. | + | Leaks-when analyser has a a user-facing frontend application (part of [[sql-privacy-analyser|SQL-privacy analyser]]) that allows to extend models by attaching SQL scripts to its elements. SQL queries are added to tasks and SQL database schemas are added to data objects. SQL scripts are attached by adding specific labels into the XML code of the model. The editor uses [[https://github.com/pleak-tools/pleak-leaks-when-ast-transformation|pleak-leaks-when-ast-transformation]] component as a communication provider between the editor and [[https://github.com/pleak-tools/pleak-leaks-when-analysis|pleak-leaks-when-analysis]] tool to perform an analyze on the extended model to combine and present the results. Editor, connector component and analysis tool have separate codebases, but they are all required to use the full functionality of the analyser. |
| Our analysis has been implemented in OCaml, using the OCamlgraph library for certain transversals of summary dependency grahps (SDGs). The integration of the analysis into the tool is somewhat peculiar, but the chosen way makes the integration very simple. The analysis is applied to a workflow defined at compile time in the source file RAInput.ml of the analyzer. Hence the analyzed workflow is expressed as an OCaml expression belonging to a variant type. | Our analysis has been implemented in OCaml, using the OCamlgraph library for certain transversals of summary dependency grahps (SDGs). The integration of the analysis into the tool is somewhat peculiar, but the chosen way makes the integration very simple. The analysis is applied to a workflow defined at compile time in the source file RAInput.ml of the analyzer. Hence the analyzed workflow is expressed as an OCaml expression belonging to a variant type. | ||
leaks-when-analysis.txt ยท Last modified: 2020/04/15 18:29 by pullonen
Page Tools
