Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by yugr
A curated list of projects in awesome lists by yugr .
https://github.com/yugr/implib.so
POSIX equivalent of Windows DLL import libraries
dlopen import shared-libraries stub wrapper
Last synced: 07 Nov 2024
https://github.com/yugr/python-hate
A growing list of things I dislike about Python
Last synced: 07 Nov 2024
https://github.com/yugr/shlibvisibilitychecker
Tool for locating internal symbols unnecessarily exported from shared libraries.
abi interfaces shared-library static-analysis visibility
Last synced: 07 Nov 2024
https://github.com/yugr/sortcheck
Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
dynamic-analysis program-analysis qsort runtime-verification
Last synced: 07 Nov 2024
https://github.com/yugr/symbolhider
A tool which hides symbols exported from shared libraries or relocatable object files
Last synced: 07 Nov 2024
https://github.com/yugr/sighandlercheck
Proof-of-concept tool for checking signal handlers for reentrancy issues.
dynamic-analysis program-analysis reentrancy runtime-verification signal signal-handler
Last synced: 07 Nov 2024
https://github.com/yugr/valgrind-preload
LD_PRELOAD-able library which runs all spawned processes under Valgrind.
binfmt chroot dynamic-analysis valgrind
Last synced: 07 Nov 2024
https://github.com/yugr/maintainer-scripts
A bunch of useful scripts for toolchain/distro maintenance.
Last synced: 07 Nov 2024
https://github.com/yugr/sortcheckxx
Tool for detecting violations of ordering axioms in STL comparators
dynamic-analysis program-analysis qsort
Last synced: 07 Nov 2024
https://github.com/yugr/dirtyframe
A prototype tool to provoke uninitilized data errors by filling stack frames with garbage in prologue
buffer-overflow dynamic-analysis program-analysis runtime-verification
Last synced: 07 Nov 2024
https://github.com/yugr/flakyiterators
A fast and dirty checker based on libclang which detects non-deterministic iteration
flaky-tests libclang nondeterminism static-analysis
Last synced: 07 Nov 2024
https://github.com/yugr/mgt-notes
Various notes on team management (for personal use)
Last synced: 07 Nov 2024
https://github.com/yugr/debian_pkg_test
Scripts to apply code analyzers to Debian packages.
debian dynamic-analysis pbuilder program-analysis runtime-verification
Last synced: 07 Nov 2024
https://github.com/yugr/dirtypad
Clang plugin which fills structure pads to provoke buffer overflow errors
buffer-overflow dynamic-analysis llvm program-analysis runtime-verification
Last synced: 07 Nov 2024
https://github.com/yugr/uinit
Instructions on obtaining stable benchmarks results on modern Linux distro
benchmarking init jitter ubuntu
Last synced: 07 Nov 2024
https://github.com/yugr/gcc-interp
Run C files as standalone scripts
c cplusplus interpreter proof-of-concept script
Last synced: 07 Nov 2024
https://github.com/yugr/localizer
A simple tool to find functions which can be made static
interfaces linker static-analysis
Last synced: 07 Nov 2024
https://github.com/yugr/gaplan
A simple but functional toolset for constructing and analyzing Gaperton's (aka Vlad Balin's) declarative plans
declarative pert pert-diagrams plan planning
Last synced: 07 Nov 2024
https://github.com/yugr/failing-malloc
A simple 5-minute checker which simulates OOM failures by returning NULL from malloc
checker malloc runtime-verification
Last synced: 07 Nov 2024
https://github.com/yugr/pkupk
Easy-to-use cmdline wrapper for various archivers (.tar*, .zip, .deb, .rpm, etc.).
archives portable shell-wrappers
Last synced: 07 Nov 2024
https://github.com/yugr/schooltracker
Simple tool to track Moscow schools on map
Last synced: 07 Nov 2024
https://github.com/yugr/parmatch
A simple script for finding unbound parameters in Verilog module instantiations.
static-analysis static-analyzer verilog
Last synced: 07 Nov 2024
https://github.com/yugr/interposechecker
Experimental project to locate symbol interpositions in Debian packages
binary-analysis debian shared-library static-analysis
Last synced: 07 Nov 2024
https://github.com/yugr/gcov-demo
A simple demo of gcov usage in different modes
Last synced: 07 Nov 2024
https://github.com/yugr/sudoku
A simple Sudoku solver that I've done to experiment with SAT/SMT solvers.
Last synced: 07 Nov 2024
https://github.com/yugr/question-58541216
Temp repo for experiments with https://stackoverflow.com/questions/58541216/transitive-symbol-visiblity-in-c
Last synced: 07 Nov 2024
https://github.com/yugr/shlibvisibilitychecker-test
Tests for yugr/ShlibVisibilityChecker-action project
Last synced: 07 Nov 2024
https://github.com/yugr/gatecheck
Yet another Verilog static analyzer
clock-g gating static-analysis static-analyzer verilog
Last synced: 07 Nov 2024