Skip to content
View jensdietrich's full-sized avatar

Block or report jensdietrich

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.

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

Pinned Loading

  1. binaryeq/daleq binaryeq/daleq Public

    datalog-based binary equivalence

    HTML 16 2

  2. yamf yamf Public

    YAMF -- Yet Another Marking Framework. Based on JUnit5, checks based on acceptance tests and static analysis, integrated manual testing, produces reports in plain text, MSWord, highly extensible.

    Java 2

  3. saflate saflate Public

    junit extensions / rules to reduce test flakiness

    Java 2 1

  4. jdala jdala Public

    an experimental implementation of DALA on top of Java

    Java

  5. null-annotation-inference null-annotation-inference Public

    an engine infer null annotations using a combination of instrumented tests and static analysis

    Java 3

  6. xshady xshady Public

    vulnerabilities found in shaded projects

    Java 6 3