tudasc/TypeART tudasc/TypeART

  • Stars
    star
    31
  • Rank 820,005 (Top 17 %)
  • Language
    C++
  • License
    BSD 3-Clause "New...
  • Created over 4 years ago
  • Updated about 1 month ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tudasc/TypeART
github

tudasc

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

LLVM-based type and memory allocation tracking sanitizer

More Repositories

1

MetaCG

MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.
C++
36
star
2

PIRA

PIRA - Automatic Instrumentation Refinement
Python
15
star
3

CaPI

CaPI: Compiler-assisted Performance Instrumentation
C++
15
star
4

MPI-Corrbench

A benchmark suite to evaluate MPI correctness tools.
C
9
star
5

mach

MPI Assertion Checking
C++
4
star
6

CommPart

Automatic Partitioning of MPI operations in MPI+OpenMP applications
C++
4
star
7

MPI-CompMatch

Compiler assisted message matching for persistent MPI operations
C++
3
star
8

TyCart

LLVM-based type and memory assert sanitizer
3
star
9

MPI-CorrBench-Dashboard

The MPI-CorrBench dashboard shows and updates the tool results.
2
star
10

SimAnMo

The SIMulated ANnealing MOdeler
C++
2
star
11

cusan

A data race detector for CUDA based on ThreadSanitizer
C
1
star
12

openmp-analysis

Python
1
star
13

mpi-arg-usage

Python
1
star
14

qTESLA

All implementations presented in the paper "qTESLA: Practical Implementations of a Quantum Attack Resistant Signature Scheme""
Java
1
star
15

mpi-bench-scoring

MPI usage pattern analysis tool chain
Shell
1
star