Block or report user

Report or block johspaeth

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse


@secure-software-engineering @CROSSINGTUD

Popular repositories

  1. boomerang-artifact

    Java 2 1

  2. heros

    Forked from Sable/heros

    IFDS/IDE Solver for Soot

    Java 1

  3. vasco

    Forked from rohanpadhye/vasco

    An inter-procedural data flow analysis framework using value-based context-sensitivity

    Java 1

  4. Boomerang

    Java 1

  5. PathExpression

    An implementation of Tarjan's PathExpression algorithm

    Java 1 1

  6. soot

    Forked from Sable/soot

    Soot - A Java optimization framework


1,358 contributions in the last year

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

Contribution activity

February 2019

Created an issue in CROSSINGTUD/CryptoAnalysis that received 3 comments

Incorrect Translation of ORDER clause

Translation of the ORDER clause EVENTS c : AESLightEngine(); i : init(_, params); p : processBlock(buf, _, buf2, _); ORDER c , (i+, p*)? // there c…

2 contributions in private repositories Feb 7

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