A suite of tools for Petri Nets
-
Updated
Oct 26, 2022 - Erlang
A suite of tools for Petri Nets
Exercises with the programming language Python
Static analysis of security-critical implementation weaknesses in Android applications
Automated Binary Analysis on iOS - ARMv8 decompiler, static slicing with pointer analysis, evaluation of crypto parameters via security rules
Course Project, UniStuttgart, WiSe2324
Examples how to use slicing with strings in Python
To associate your repository with the slicing-algorithm topic, visit your repo's landing page and select "manage topics."