Lukáš Zaoral lzaoral

• Red Hat

• Brno, Czech Republic
• 04:42 (UTC +01:00)

Pinned Loading

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

   Java 13 3

2. OpenScanHub is a service for static and dynamic analysis.

   Python 19 15

3. Finds locations of function definitions in shell scripts.

   Haskell 1

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

   C++ 24 17