Pinned Repositories
AlexanderSchultheiss.github.io
ArgoUMLExtractor
bibliography
BibTags
A collection of cleaned BibTeX entries and tags to be used with MibTeX
cherry-harvest
A simple library for finding cherry-picks in git repositories
RaQuN
Artifact for Scalable N-Way Model Matching Using Multi-Dimensional Search Trees (MODELS 2021 & SoSyM Special Issue)
replication_package_template
A template for replication packages
variant-drift
Variant Drift - Prototype and Replication Package
bloom_filter_simple
Simple bloom filter implementation in Rust
RaQuN
Artifact for Scalable N-Way Model Matching Using Multi-Dimensional Search Trees (MODELS 2021 & SoSyM Special Issue)
AlexanderSchultheiss's Repositories
AlexanderSchultheiss/cherry-harvest
A simple library for finding cherry-picks in git repositories
AlexanderSchultheiss/replication_package_template
A template for replication packages
AlexanderSchultheiss/RaQuN
Artifact for Scalable N-Way Model Matching Using Multi-Dimensional Search Trees (MODELS 2021 & SoSyM Special Issue)
AlexanderSchultheiss/variant-drift
Variant Drift - Prototype and Replication Package
AlexanderSchultheiss/AlexanderSchultheiss.github.io
AlexanderSchultheiss/ArgoUMLExtractor
AlexanderSchultheiss/bibliography
AlexanderSchultheiss/BibTags
A collection of cleaned BibTeX entries and tags to be used with MibTeX
AlexanderSchultheiss/BusybootPreparation
Utilities for preparing Busybox and Coreboot source trees for KernelHaven
AlexanderSchultheiss/cherries-one
AlexanderSchultheiss/CnfUtils
CNF utility functions for analysis plug-ins.
AlexanderSchultheiss/code-review-checklist
This code review checklist helps you be a more effective and efficient code reviewer.
AlexanderSchultheiss/CodeBlockExtractor
A code-model extractor that extracts #ifdef blocks
AlexanderSchultheiss/CppUtils
Utilities for parsing C-preprocessor statements
AlexanderSchultheiss/DBUtils
SQL connectors for KernelHaven
AlexanderSchultheiss/FeatureEffectAnalysis
Analysis components for calculating presence condtions and feature effects
AlexanderSchultheiss/IncrementalAnalysesInfrastructure
Support for incremental anlyses
AlexanderSchultheiss/IOUtils
Reuseable Readers and Writers for KernelHaven
AlexanderSchultheiss/KbuildMinerExtractor
KbuildMiner-based Kbuild extractor for KernelHaven
AlexanderSchultheiss/KconfigReaderExtractor
KconfigReader-based Kconfig extractor for KernelHaven
AlexanderSchultheiss/KernelHaven
Fork of the main infrastructure of KernelHaven
AlexanderSchultheiss/latex-utils
AlexanderSchultheiss/NonBooleanUtils
Contains utilties for dealing with non-boolean variables in C preprocessor analysis
AlexanderSchultheiss/nvim
AlexanderSchultheiss/Slides
Slides of scientific presentations on research published by the SoftVarE group
AlexanderSchultheiss/test-spl
AlexanderSchultheiss/TypeChefExtractor
A code extractor for KernelHaven based on the TypeChef tool.