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/101JMLSpecifications
JML Specifications for the 101 companies project
rbonifacio/101aspects
A new 101 AspectJ implementation target to address product line variability.
rbonifacio/herb
Haskell Event dRiven Bus
rbonifacio/interpreter
rbonifacio/msrGameSurvey