rbonifacio Goto Github PK

followers: 171.0 following: 3.0 repos: 93.0 gists: 14.0

Name: Rodrigo Bonifácio

Type: User

Company: University of Brasília

Bio: Associate professor at UnB. Interested in source-code analysis and manipulation, software security and static analysis.

Location: Brasília

Blog: http://rbonifacio.github.io

Rodrigo Bonifácio's Projects

101aspects

A new 101 AspectJ implementation target to address product line variability.

101jmlspecifications

JML Specifications for the 101 companies project

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.

agendapoo

Agenda eletrônica usada na disciplina de POO@UnB

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.

androidtraining

Training course repository for android app development

antlr4

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.