Topic: "slicing-algorithm"
tamarit/pn_suite
A suite of tools for Petri Nets
Language: Erlang - Size: 117 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 11 - Forks: 2
romulocraveiro/python-exercises
Exercises with the programming language Python
Language: Python - Size: 68.4 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
Churro/CryptoSlice Fork of IAIK/CryptoSlice
Static analysis of security-critical implementation weaknesses in Android applications
Language: Java - Size: 52.1 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
sichkar-valentyn/Slicing_in_Python
Examples how to use slicing with strings in Python
Language: Python - Size: 15.6 KB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
Churro/ios-analysis Fork of IAIK/ios-analysis
Automated Binary Analysis on iOS - ARMv8 decompiler, static slicing with pointer analysis, evaluation of crypto parameters via security rules
Size: 393 KB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0