lzaoral - Overview

View lzaoral's full-sized avatar

Lukáš Zaoral lzaoral

Senior Software Engineer at Red Hat

  • Red Hat

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

Block or report lzaoral

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