Skip to content
View rtrimana's full-sized avatar

Block or report rtrimana

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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. program_analysis program_analysis Public

    An example of how we can use the Soot environment to do program analysis in Java

    Java

  2. Spoon-Knife Spoon-Knife Public

    Forked from octocat/Spoon-Knife

    This repo is for demonstration purposes only.

    HTML

  3. jpf-core jpf-core Public

    Forked from javapathfinder/jpf-core

    JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastruc…

    Java 1

  4. rtrimana.github.io rtrimana.github.io Public

    HTML

  5. rahmadi-trimananda-website rahmadi-trimananda-website Public

    Shell

  6. www-community www-community Public

    Forked from OWASP/www-community

    OWASP Community Pages are a place where OWASP can accept community contributions for security-related content.

    HTML