Skip to content
View lzaoral's full-sized avatar
17 followers · 36 following
  • Red Hat
  • Brno, Czech Republic
  • 13:55 (UTC +02:00)

Achievements

Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor
BetaSend feedback

Organizations

@aufover @csutils @redhat-plumbers-in-action @openscanhub
Block or Report

Block or report lzaoral

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.

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

  • openscanhub Public

    Forked from openscanhub/openscanhub

    OpenScanHub is a service for static and dynamic analysis.

    Python GNU General Public License v3.0 Updated May 29, 2024

  • csdiff Public

    Forked from csutils/csdiff

    CLI tools for processing code scan results in plain-text

    JavaScript GNU General Public License v3.0 Updated May 27, 2024

  • content-resolver-input Public

    Forked from minimization/content-resolver-input

    Configuration files for Feedback Pipeline

    Python Updated May 20, 2024

  • csmock Public

    Forked from csutils/csmock

    A tool for static analysis, dynamic analysis, and formal verification of RPM packages

    Python GNU General Public License v3.0 Updated May 17, 2024

  • rear Public

    Forked from rear/rear

    Relax-and-Recover - Linux bare metal disaster recovery and system migration solution (cfr. mksysb, ignite)

    Shell GNU General Public License v3.0 Updated May 14, 2024

  • JCProfilerNext Public

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

    Java 8 3 GNU General Public License v3.0 Updated May 3, 2024

  • predator Public

    Forked from kdudka/predator

    A Shape Analyzer Based on Symbolic Memory Graphs

    C GNU General Public License v3.0 Updated May 2, 2024

  • kobo Public

    Forked from release-engineering/kobo

    A pile of python modules used by Red Hat release engineering to build their tools.

    Python GNU Lesser General Public License v2.1 Updated May 2, 2024

  • homebrew-core Public

    Forked from Homebrew/homebrew-core

    🍻 Default formulae for the missing package manager for macOS (or Linux)

    Ruby BSD 2-Clause "Simplified" License Updated Oct 26, 2023

  • dotfiles Public

    Shell 2 Updated Oct 22, 2023

  • cscppc Public

    Forked from csutils/cscppc

    A compiler wrapper that runs Cppcheck/Clang in background

    C GNU General Public License v3.0 Updated Sep 12, 2023

  • cswrap Public

    Forked from csutils/cswrap

    Generic Compiler Wrapper

    C GNU General Public License v3.0 Updated Sep 4, 2023

  • rear-testing Public

    BeakerLib tests for automated testing of ReaR

    Shell 2 GNU General Public License v2.0 Updated Jul 20, 2023

  • klee.github.io Public

    Forked from klee/klee.github.io

    Website for the KLEE project: https://klee.github.io/

    HTML Other Updated Apr 12, 2023

  • klee Public

    Forked from staticafi/JetKlee

    KLEE Symbolic Virtual Machine

    C++ Other Updated Mar 27, 2023

  • symbiotic Public

    Forked from staticafi/symbiotic

    Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

    Python MIT License Updated Mar 14, 2023

  • sysstat Public

    Forked from sysstat/sysstat

    Performance monitoring tools for Linux

    C GNU General Public License v2.0 Updated Feb 22, 2023

  • ProStatA Public

    Forked from VeriFIT/ProStatA

    LLVM-based framework "Pro Statické Analyzátory"

    C++ GNU General Public License v3.0 Updated Dec 14, 2022

  • dg Public

    Forked from mchalupa/dg

    [LLVM Static Slicer] Dependence graph for programs. A set of generic program analyses and a static slicer for LLVM bitcode.

    C++ MIT License Updated Dec 13, 2022

  • javacard-curated-list Public

    Forked from crocs-muni/javacard-curated-list

    Curated list of open-source Java Card applets and related applications for cryptographic smartcards

    MIT License Updated Nov 11, 2022

  • modules Public

    Forked from cea-hpc/modules

    Environment Modules: provides dynamic modification of a user's environment

    Tcl GNU General Public License v2.0 Updated Sep 2, 2022

  • differential-shellcheck Public

    Forked from redhat-plumbers-in-action/differential-shellcheck

    🐚 GitHub action for running ShellCheck differentially

    Shell GNU General Public License v3.0 Updated Aug 1, 2022

  • cswrap-action Public

    GNU General Public License v3.0 Updated Jul 21, 2022

  • defloc Public

    Finds locations of function definitions in shell scripts.

    shell bash
    Haskell 1 GNU General Public License v3.0 Updated Jan 24, 2022

  • javacard-smpc-rsa Public

    Java 1 3 MIT License Updated Dec 1, 2021

  • collaborative-rsa-demo Public

    C++ Updated May 2, 2020

  • javacard-smpc-rsa-proxy-app Public

    Java Updated Apr 26, 2020