Home Original page

rbonifacio - Overview

@rbonifacio

rbonifacio

Follow

View rbonifacio's full-sized avatar

Rodrigo Bonifácio rbonifacio

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

Highlights

  • Pro

Block or report rbonifacio

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. svfa-scala svfa-scala Public

    An implementation of sparse-value flow analysis on top of soot (using Scala)

    Java 10 16

  2. OBERON-Lang OBERON-Lang Public

    An implementation of the OBERON-0 Language in C++

    C 7 2

  3. hephaestus-pl hephaestus-pl Public

    Haskell 5 3

  4. tp2-2018 tp2-2018 Public

    Scala 5 3

  5. pca pca Public

    Projeto e complexidade de algoritmos

    TeX 5 8

  6. iris iris Public

    Iris email client

    Java 2 1