Pinned Repositories
dogefuzz
Flexible fuzzer for detecting Ethreum Smart Contract vulnerabilities
JimpleFramework
A Rascal implementation of the Jimple framework.
JUnit5Migration
MetaCrySL
XText-based MetaCrySL language
pico-language
Repository for the PICO programming language
rascal-Java8
Introducing the support for Java 8 in Rascal
RascalWhileLang
The While Language implemented in Rascal
rvsec
static-analysis
Static analysis tools
WhileLang
Program Analysis and Manipulation Group at University of Brasília's Repositories
PAMunb/JUnit5Migration
PAMunb/rascal-Java8
Introducing the support for Java 8 in Rascal
PAMunb/dogefuzz
Flexible fuzzer for detecting Ethreum Smart Contract vulnerabilities
PAMunb/dogefuzz-benchmark
PAMunb/dogefuzz_sbseg_artifact
Artifact repository for "DogeFuzz: A Simple Yet Efficient Grey-box Fuzzer for Ethereum Smart Contracts"
PAMunb/mop-maven-plugin
PAMunb/rvsec
PAMunb/RVSec-replication-package
PAMunb/svfa-scala
An implementation of sparse-value flow analysis on top of soot (using Scala)
PAMunb/cppEvolution
PAMunb/CryLogger
CRYLOGGER: Detecting Crypto Misuses for Android and Java Apps Dynamically
PAMunb/cryptoguard
PAMunb/dogefuzz-enhanced-go-ethereum
PAMunb/dogefuzz-inputs
PAMunb/dogefuzz-results
PAMunb/dogefuzz-vandal-api
PAMunb/flowdroid-taint-analysis
A fork of the securiBench FlowDroid module
PAMunb/javamop
Runtime verification system for Java, using AspectJ for instrumentation.
PAMunb/joanaTaintAnalysis
PAMunb/JSMiner
PAMunb/mining-email-lists
PAMunb/MoniTests
This project aims to apply JavaMop, a Java implementation of Monitoring-Oriented Programming, to verify usage of cryptographic llibraries
PAMunb/pamunb.github.io
PAMunb/PyMiner
This is a tool to mining and extract metrics from Python open source projects from github for an empirical research.
PAMunb/rv-monitor
RV-Monitor core system code
PAMunb/rvsec-02
Experiment 02
PAMunb/securibench-micro
Securibench Micro is a benchmark for static analysis tools for security.
PAMunb/securibench-micro-jakarta
Securibench Micro is a benchmark for static analysis tools for security.
PAMunb/svfa
An implementation of sparse-value flow analysis on top of soot (using Scala)
PAMunb/WhileLang-Haskell
Implementation of static analysis algorithms in Haskell