fabianbs96

@Fraunhofer-IEM @secure-software-engineeringPaderborn, Germany

Pinned Repositories

immer
Postmodern immutable and persistent data structures for C++ — value semantics at scale
Language:C++0 0 00
insect-logger
A simple, lightweight logger with minimalistic dependencies
Language:C++00
llvm-project
This is the canonical git mirror of the LLVM subversion repository. The repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
0 0 00
LRUCache
A simple, header-only C++ library for Least-Recently-Used Caching
Language:C++0 1 00
phasar
A LLVM-based static analysis framework.
Language:C++3 0 00
pool_allocator
Custom memory allocators for speeding up node-based containers and object graphs
Language:C++2 1 01
z3
The Z3 Theorem Prover
Language:C++0 0 01
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Language:LLVM28.8k 586 77.4k11.9k
paper-idesolverxx
Supplementary website for the paper "Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications"
Language:HTML1 5 00
phasar
A LLVM-based static analysis framework.
Language:C++938 30 186142

fabianbs96/phasar
A LLVM-based static analysis framework.
Language:C++3 0 00
fabianbs96/pool_allocator
Custom memory allocators for speeding up node-based containers and object graphs
Language:C++2 1 01
fabianbs96/immer
Postmodern immutable and persistent data structures for C++ — value semantics at scale
Language:C++0 0 00
fabianbs96/insect-logger
A simple, lightweight logger with minimalistic dependencies
Language:C++00
fabianbs96/llvm-project
This is the canonical git mirror of the LLVM subversion repository. The repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
0 0 00
fabianbs96/LRUCache
A simple, header-only C++ library for Least-Recently-Used Caching
Language:C++0 1 00
fabianbs96/z3
The Z3 Theorem Prover
Language:C++0 0 01