The following is an implementation of a simple language, which aims to be able to perform an information flow analysis during compilation, to ensure no explicit or implicit flows are present. This is based on classic ideas by Denning & Denning as well as Myers & Lyskov.
BilboBackend/InformationFlowAnalysis
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|