Skip to content
View ritter-x2a's full-sized avatar

Organizations

@llvm @cdl-saarland

Block or report ritter-x2a

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

Pinned Loading

  1. cdl-saarland/AnICA cdl-saarland/AnICA Public

    Analyzing Inconsistencies of Code Analyzers

    Python 4

  2. cdl-saarland/iwho cdl-saarland/iwho Public

    Instructions With Holes: A library for matching instructions to more abstract schemes that can be instantiated with other operands.

    Python 4

  3. cdl-saarland/pmtestbench cdl-saarland/pmtestbench Public

    Code development and artifact for our port mapping inference approaches

    Python 6

  4. cdl-saarland/MemInstrument cdl-saarland/MemInstrument Public

    A framework to make C memory safe

    C++ 3

  5. tgnotipy tgnotipy Public

    A telegram chat bot for issuing general purpose notifications from a PC.

    Python 2

  6. scanalyzer scanalyzer Public

    A simple Static Analyzer for SSA-Form CFGs written in Scala to learn the language.

    Scala 1