Skip to content
@PAMunb

Program Analysis and Manipulation Group at University of Brasília

Popular repositories Loading

  1. JimpleFramework JimpleFramework Public

    A Rascal implementation of the Jimple framework.

    Java 13 5

  2. JUnit5Migration JUnit5Migration Public

    Rascal 6 1

  3. rascal-Java8 rascal-Java8 Public

    Introducing the support for Java 8 in Rascal

    Java 5 8

  4. WhileLang WhileLang Public

    Scala 4 5

  5. pico-language pico-language Public

    Repository for the PICO programming language

    Haskell 3 7

  6. static-analysis static-analysis Public

    Static analysis tools

    TeX 2 2

Repositories

Showing 10 of 49 repositories
  • rvsec Public
    Java 1 2 1 0 Updated Apr 23, 2025
  • svfa Public Forked from rbonifacio/svfa-scala

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

    Java 0 15 0 3 Updated Mar 26, 2025
  • PyMiner Public

    This is a tool to mining and extract metrics from Python open source projects from github for an empirical research.

    Python 0 MIT 0 0 0 Updated Mar 18, 2025
  • securibench-micro Public Forked from too4words/securibench-micro

    Securibench Micro is a benchmark for static analysis tools for security.

    HTML 0 Apache-2.0 23 0 0 Updated Mar 18, 2025
  • joanaTaintAnalysis Public Forked from rbonifacio/joanaTaintAnalysis
    Java 0 3 0 1 Updated Mar 18, 2025
  • flowdroid-taint-analysis Public Forked from Jclavo/securiBench

    A fork of the securiBench FlowDroid module

    Java 0 2 0 0 Updated Mar 18, 2025
  • dogefuzz Public Forked from dogefuzz/dogefuzz

    Flexible fuzzer for detecting Ethreum Smart Contract vulnerabilities

    Go 2 MIT 3 0 0 Updated Feb 20, 2025
  • dogefuzz-results Public Forked from dogefuzz/results
    Python 0 1 0 0 Updated Feb 11, 2025
  • JSMiner Public
    Java 0 1 0 0 Updated Jan 5, 2025
  • dogefuzz_sbseg_artifact Public

    Artifact repository for "DogeFuzz: A Simple Yet Efficient Grey-box Fuzzer for Ethereum Smart Contracts"

    Solidity 1 CC-BY-4.0 0 0 0 Updated Dec 31, 2024
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…