Teaching and Learning Software Analysis via SVF
-
Updated
May 25, 2025 - C++
#
information-flow
Here are 23 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
Jul 7, 2025 - 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
Apr 5, 2025 - Agda
Granger Causality with Signal-dependent Noise
-
Updated
May 1, 2018 - MATLAB
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#
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
Bots detection on Twitter based on information flow and link analysis
-
Updated
Mar 31, 2021
MopedQLeak: Tool for Quantifying Information Flow in Probabilistic Recursive Programs
-
Updated
Oct 30, 2018 - C
A SELinux configuration language that extends CIL with information flow requirements: semantics and verifier
-
Updated
Aug 17, 2024 - OCaml
Trustee is a simple, statically typed, functional language that supports security primitives and taint analysis.
-
Updated
Sep 15, 2024 - OCaml
Transfer entropy analysis pipeline for studying causal information flow between financial news sentiment and STOXX 50 stock returns. Implements complete workflow from Eikon data collection through FinBERT sentiment analysis to transfer entropy computation using IDTxl.
-
Updated
Jun 24, 2025 - Python
Software Security Projects : pentesting and static analysis
-
Updated
Dec 26, 2020 - Python
Calculation of Renye Transfer Entropy
-
Updated
Mar 2, 2023 - Jupyter Notebook
Docker wrapper for ITM Probe information flow tool
-
Updated
Oct 7, 2014 - Game Maker Language
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."