rbonifacio
Associate professor at UnB. Interested in source-code analysis and manipulation, software security and static analysis.
University of Brasília Brasília
Pinned Repositories
android-cg
This simple program computes a call graph from an Android app. The main idea here is to compute the distances between the entry points and the calls to sensitive APIs.
FLanguage
hephaestus-pl
iris
Iris email client
Meta-CrySL
OBERON-Lang
An implementation of the OBERON-0 Language in C++
pca
Projeto e complexidade de algoritmos
short-plai
svfa-scala
An implementation of sparse-value flow analysis on top of soot (using Scala)
tp2-2018
rbonifacio's Repositories
rbonifacio/svfa-scala
An implementation of sparse-value flow analysis on top of soot (using Scala)
rbonifacio/pca
Projeto e complexidade de algoritmos
rbonifacio/tp2-2018
rbonifacio/android-cg
This simple program computes a call graph from an Android app. The main idea here is to compute the distances between the entry points and the calls to sensitive APIs.
rbonifacio/FLanguage
rbonifacio/soot-analysis
an experimental project for implementing different soot analysis.
rbonifacio/raszz
Fork of the raszz repository
rbonifacio/securiBench
A fork of the securiBench FlowDroid module
rbonifacio/apidiff
A tool to identify breaking and non-breaking changes between two versions of a Java library
rbonifacio/AtomsJS
repo para o paper ICPC 2021
rbonifacio/benchmark
rbonifacio/boost-mailinglist
rbonifacio/CCMetrics
Compute co-change dependencies from a fine-grained GIT repository
rbonifacio/coordenacao-ppgi
Scripts para apoiar nas atividades de coordenação do PPGI
rbonifacio/Crypto-API-Rules
rbonifacio/diffj
A command line application to compare Java files without regard to formatting.
rbonifacio/ETL-Similarity
rbonifacio/JCATestCases
This is a suite of test cases from the CogniCrypt group.
rbonifacio/JMLSample
rbonifacio/kotlinFuzzerLib
rbonifacio/MicroCryptoBenchmark
rbonifacio/MicroCryptoBenchmarkFixed
rbonifacio/MOPSample
rbonifacio/phoenix
rbonifacio/rascalJavaInterface
rbonifacio/rbonifacio.github.io
rbonifacio/ScalaWhileLang
rbonifacio/TIP
Tiny Imperative Programming Language
rbonifacio/TR-Meta-CrySL-Package
An artifact package for the ecoop paper
rbonifacio/UNBUnit
Just another (minimalist) test case framework