GitHub topics: slicing-algorithm
tamarit/pn_suite
A suite of tools for Petri Nets
Language: Erlang - Size: 117 MB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 11 - Forks: 2
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
romulocraveiro/python-exercises
Exercises with the programming language Python
Language: Python - Size: 68.4 KB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 1 - 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: over 7 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: over 6 years ago - Stars: 0 - Forks: 0
