Teaching and Learning Software Analysis via SVF
-
Updated
Oct 22, 2024 - C++
#
information-flow
Here are 22 public repositories matching this topic...
Social network analysis code examples for PyCon 2019 talk
python social-networks social-network network pydata network-theory jupyter-notebook pagerank game-of-thrones pandas networkx graph-theory pycon social-network-analysis betweenness-centrality influence-maximization eurovision information-flow information-diffusion pycon2019
-
Updated
Sep 10, 2022 - Jupyter Notebook
The Health Data Consent Manager is an entity that acts as a consent collector for the Customer and mediates the Health Information data flows from the HIP to the recipient HIU or the Customer.
-
Updated
Aug 2, 2021 - Java
Troupe programming language
security compiler information-flow-control information-flow information-flow-tracking language-based-security dynamic-monitoring
-
Updated
Oct 10, 2024 - TypeScript
A next-generation secure smart contract language for Ethereum.
-
Updated
Jul 18, 2018 - Python
A Kalman Filter in Simulink for easier understanding.
-
Updated
Nov 8, 2021
Awas: A tool for model navigation, dependency analysis and risk analysis of component based systems
fault-tree risk-analysis static-analysis dependency-analysis dependency-graph aadl domain-specific-language fault-detection information-flow stpa sireum hazard-analysis-framework
-
Updated
May 10, 2022 - JavaScript
Very simple information flow aware compiler with Flex, Bison, LLVM, C/C++
-
Updated
May 3, 2018 - C++
The Agda mechanization of a gradual security-typed programming language with general mutable references.
semantics agda formalization coercion meta-theory gradual-typing information-flow type-systems noninterference
-
Updated
May 24, 2024 - Agda
Granger Causality with Signal-dependent Noise
-
Updated
May 1, 2018 - MATLAB
Capstone project of the Coursera "Object Oriented Java Programming: Data Structures and Beyond" specialization. It investigates the cascading behavior (or information flow) within a social network.
-
Updated
Sep 5, 2019 - Java
MopedQLeak: Tool for Quantifying Information Flow in Probabilistic Recursive Programs
-
Updated
Oct 30, 2018 - C
An extension of the Dafny programming language that adds the ability to perform information flow analysis on a code file. The method of information flow analysis allows the verification of concurrent programs.
-
Updated
Dec 4, 2021 - C#
Bots detection on Twitter based on information flow and link analysis
-
Updated
Mar 31, 2021
Trustee is a simple, statically typed, functional language that supports security primitives and taint analysis.
-
Updated
Sep 15, 2024 - OCaml
Calculation of Renye Transfer Entropy
-
Updated
Mar 2, 2023 - Jupyter Notebook
Software Security Projects : pentesting and static analysis
-
Updated
Dec 26, 2020 - Python
Using F* to prove non-interference for a well-typed subset of programs written in a small imperative language
-
Updated
Jul 7, 2018
Enforcing information flow in C-languages with Clang.
-
Updated
May 25, 2018 - C++
-
Updated
Nov 21, 2017 - Python
Improve this page
Add a description, image, and links to the information-flow topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the information-flow topic, visit your repo's landing page and select "manage topics."