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-02 Public
    PAMunb/rvsec-02’s past year of commit activity
    Python 0 0 0 0 Updated Dec 26, 2024
  • rvsec Public
    PAMunb/rvsec’s past year of commit activity
    Java 1 2 0 0 Updated Dec 26, 2024
  • svfa Public Forked from rbonifacio/svfa-scala

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

    PAMunb/svfa’s past year of commit activity
    Java 0 14 0 0 Updated Dec 26, 2024
  • PyMiner Public

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

    PAMunb/PyMiner’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Nov 28, 2024
  • dogefuzz Public Forked from dogefuzz/dogefuzz

    Flexible fuzzer for detecting Ethreum Smart Contract vulnerabilities

    PAMunb/dogefuzz’s past year of commit activity
    Go 2 MIT 3 0 0 Updated Nov 25, 2024
  • flowdroid-taint-analysis Public Forked from Jclavo/securiBench

    A fork of the securiBench FlowDroid module

    PAMunb/flowdroid-taint-analysis’s past year of commit activity
    Java 0 2 0 0 Updated Nov 15, 2024
  • joanaTaintAnalysis Public Forked from rbonifacio/joanaTaintAnalysis
    PAMunb/joanaTaintAnalysis’s past year of commit activity
    Java 0 3 0 1 Updated Nov 15, 2024
  • securibench-micro Public Forked from too4words/securibench-micro

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

    PAMunb/securibench-micro’s past year of commit activity
    HTML 0 Apache-2.0 23 0 0 Updated Nov 15, 2024
  • dogefuzz-benchmark Public Forked from dogefuzz/benchmark
    PAMunb/dogefuzz-benchmark’s past year of commit activity
    Solidity 1 MIT 1 0 0 Updated Nov 14, 2024
  • securibench-micro-jakarta Public Forked from PAMunb/securibench-micro

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

    PAMunb/securibench-micro-jakarta’s past year of commit activity
    HTML 0 Apache-2.0 23 0 0 Updated Oct 9, 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…