Program Analysis and Manipulation Group at University of Brasília's repositories
JimpleFramework
A Rascal implementation of the Jimple framework.
rascal-Java8
Introducing the support for Java 8 in Rascal
RascalWhileLang
The While Language implemented in Rascal
Language:Jupyter Notebook000
CryLogger
CRYLOGGER: Detecting Crypto Misuses for Android and Java Apps Dynamically
Language:JavaMIT000
MIT000
Language:Java000
Language:JavaGPL-3.0000
dogefuzz
Flexible fuzzer for detecting Smart Contract weaknesses
Language:GoMIT000
Language:GoLGPL-3.0000
Language:SolidityMIT000
Language:Python000
Language:Python000
javamop
Runtime verification system for Java, using AspectJ for instrumentation.
NOASSERTION000
000
Language:JavaMIT000
MoniTests
This project aims to apply JavaMop, a Java implementation of Monitoring-Oriented Programming, to verify usage of cryptographic llibraries
Language:Java000
000
rv-monitor
RV-Monitor core system code
NOASSERTION000
WhileLang-Haskell
Implementation of static analysis algorithms in Haskell
Language:HaskellNOASSERTION000