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/hephaestus-pl
rbonifacio/iris
Iris email client
rbonifacio/agendaPOO
Agenda eletrônica usada na disciplina de POO@UnB
rbonifacio/delta-paper
rbonifacio/GameOfLife-SPartial
A implementation of the main architecture of game of life in Scala.
rbonifacio/scala-gol-reflection
rbonifacio/tp1-20172
rbonifacio/Activiti
Activiti is a light-weight workflow and Business Process Management (BPM) Platform targeted at business people, developers and system admins. Its core is a super-fast and rock-solid BPMN 2 process engine for Java. It's open-source and distributed under the Apache license. Activiti runs in any Java application, on a server, on a cluster or in the cloud. It integrates perfectly with Spring, it is extremely lightweight and based on simple concepts.
rbonifacio/AndroidTraining
Training course repository for android app development
rbonifacio/antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
rbonifacio/CoreNLP
Stanford CoreNLP: A Java suite of core NLP tools.
rbonifacio/expression-languages
Different SPL implementations for expressions
rbonifacio/ffj-article
rbonifacio/flink
Mirror of Apache Flink
rbonifacio/funsat
An efficient, embeddable DPLL SAT solver in Haskell
rbonifacio/gameOfLifeJ
Implementacao do Game of Life em Java. A primeira versão tem várias falhas de design.
rbonifacio/Groundhog
rbonifacio/InterpretadorPOO
POO
rbonifacio/jna
Java Native Access
rbonifacio/lightIMDB
Aplicação web para avaliar filmes, desenvolvida em Scala
rbonifacio/mhs-scala
Implementação da linguagem MiniHaskell em Scala
rbonifacio/Midas
rbonifacio/orientdb
OrientDB is the first Multi-Model DBMS with Document & Graph engine. OrientDB can run distributed (Multi-Master), supports SQL, ACID Transactions, Full-Text indexing, Reactive Queries and has a small memory footprint. OrientDB is licensed with Apache 2 license and the development is driven by OrientDB LTD and a worldwide Open Source community.
rbonifacio/poo-mor
Repositorio com exemplos de mapeamento objeto-relacional usando Java
rbonifacio/processing
Source code for the Processing Development Environment (PDE)
rbonifacio/spring-framework
The Spring Framework
rbonifacio/UltimateAndroid
UltimateAndroid is a rapid development framework for developing your apps
rbonifacio/variability-management-research
Automatically exported from code.google.com/p/variability-management-research
rbonifacio/VitamioBundle
Vitamio for Android
rbonifacio/zaproxy
The OWASP ZAP core project