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