OPEM
OPEM : Open Source PEM Cell Simulation Tool - Published in JOSS (2018)
btergm
Temporal Exponential Random Graph Models by Bootstrapped Pseudolikelihood
stadyna
StaDynA: Addressing the Problem of Dynamic Code Updates in the Security Analysis of Android Applications
mastg
The OWASP Mobile Application Security Testing Guide (MASTG) is a comprehensive manual for mobile app security testing and reverse engineering. It describes technical processes for verifying the OWASP Mobile Security Weakness Enumeration (MASWE) weaknesses, which are in alignment with the OWASP MASVS.
org.inria.sacha.automaticRepair
Automatic program repair for Java with generate-and-validate techniques :v::v:: jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepair (2017) - Cardumen (2018) - 3sfix (2018)
securibench-micro.js
A Securibench Micro inspired program analysis benchmark for server-side JavaScript
kieker-for-jupyter
Kieker is an observability framework, that consists of an monitoring and tracing agent, and compatible analysis tools