-
Alpen-Adria-Universität Klagenfurt
- Austria
- @tareqmohdnazir
Starred repositories
Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation
A minimalistic and high-performance SAT solver
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
A script to utilize multiple concurrently-running Predator Analyzers with various setup
instrumentor is a tool for instrumenting LLVM IR to detect problems at runtime. The initial focus is on memory safety issues such as leaks, use-after-free, stack smashing, and out-of-bounds access.
Tool aimed to provide a binary analysis of different file formats through the use of an Intermmediate Representation.
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
Replication Code for "Self-Supervised Bug Detection and Repair" NeurIPS 2021
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
OpenSSF Scorecard - Security health metrics for Open Source
Simple GraphQL Client for JavaScript. Minimal. Extensible. Type Safe. Runs everywhere.
A LLVM-based static analysis framework.
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
List of resources about programming practices for writing safety-critical software.
Deep Learning Projects
List of Computer Science courses with video lectures.
The Robotics Language is an open compiler where users can develop languages to generate ROS code
Quantum Algorithms & Applications (**DEPRECATED** since April 2021 - see readme for more info)
Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and primitives.
Qiskit is an open-source SDK for working with quantum computers at the level of circuits, algorithms, and application modules.
ROS 2 Navigation Framework and System
Roadmap to becoming an Artificial Intelligence Expert in 2022
Elementary Multiperspective Material Ontology (EMMO)
A tool to build ROS and ROS2 workspaces for various targets