Block or report user

Report or block denis-bogdanas

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. firefox-to-wikidpad

    A tool to automatically import firefox bookmarks into wikidpad

    Java

  2. soot-infoflow

    Forked from secure-software-engineering/soot-infoflow

    Data flow tracking components for Java

    Java

  3. soot-infoflow-android

    Forked from secure-software-engineering/soot-infoflow-android

    Android-specific components of FlowDroid

    Java

  4. soot-infoflow-android-iccta

    Forked from lilicoding/soot-infoflow-android-iccta

    Inter-component communication Taint Analysis for Android

    Java

  5. soot

    Forked from Sable/soot

    Soot - A Java optimization framework

    Java

  6. javadoc-perm-miner

    Java

372 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Mon Wed Fri

Contribution activity

December 2018

Created a pull request in kframework/k that received 3 comments

KILtoSMTLib: Improved translation of constraint and implication queries

KILtoSMTLib: 1 Improved translation of constraint and implication queries. A term that has no smtlib attribute will be abstracted to a fresh anonym…

+119 −73 3 comments

Seeing something unexpected? Take a look at the GitHub profile guide.