Pinned Loading

1. crocs-muni/JCProfilerNext crocs-muni/JCProfilerNext Public

   Profiler for JavaCard code and a rewrite of OpenCryptoProject/JCProfiler with easier usage and much more!

   Java 15 3

2. openscanhub/openscanhub openscanhub/openscanhub Public

   OpenScanHub is a service for static and dynamic analysis.

   Python 20 15

3. defloc defloc Public

   Finds locations of function definitions in shell scripts.

   Haskell 1

4. csutils/csdiff csutils/csdiff Public

   Utilities for processing results of static analyzers, dynamic analyzers, and formal verification tools

   C++ 25 17