yugr/sortcheck

Stars
35
Rank 750,836 (Top 15 %)
Language
C
License
MIT License
Created almost 9 years ago
Updated over 2 years ago

yugr/sortcheck

yugr

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

Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.

Implib.so

POSIX equivalent of Windows DLL import libraries

libdebugme

Automatically spawn gdb on error.

python-hate

A growing list of things I dislike about Python

SymbolHider

A tool which hides symbols exported from shared libraries or relocatable object files

ShlibVisibilityChecker

Tool for locating internal symbols unnecessarily exported from shared libraries.

sighandlercheck

Proof-of-concept tool for checking signal handlers for reentrancy issues.

maintainer-scripts

A bunch of useful scripts for toolchain/distro maintenance.

valgrind-preload

LD_PRELOAD-able library which runs all spawned processes under Valgrind.

sortcheckxx

Tool for detecting violations of ordering axioms in STL comparators

DirtyFrame

A prototype tool to provoke uninitilized data errors by filling stack frames with garbage in prologue

primogen

A toy prime number generator in Verilog

scripts-and-dotfiles

Bashrc and friends.

FlakyIterators

A fast and dirty checker based on libclang which detects non-deterministic iteration

mgt-notes

Various notes on team management (for personal use)

gcc-interp

Run C files as standalone scripts

DirtyPad

Clang plugin which fills structure pads to provoke buffer overflow errors

debian_pkg_test

Scripts to apply code analyzers to Debian packages.

gaplan

A simple but functional toolset for constructing and analyzing Gaperton's (aka Vlad Balin's) declarative plans

Localizer

A simple tool to find functions which can be made static

uInit

Instructions on obtaining stable benchmarks results on modern Linux distro

pkupk

Easy-to-use cmdline wrapper for various archivers (.tar*, .zip, .deb, .rpm, etc.).

failing-malloc

A simple 5-minute checker which simulates OOM failures by returning NULL from malloc

SchoolTracker

Simple tool to track Moscow schools on map

ld-limiter

Limit number of parallel link jobs

Lalambda

Slides for Lalambda school

parmatch

A simple script for finding unbound parameters in Verilog module instantiations.

sudoku

A simple Sudoku solver that I've done to experiment with SAT/SMT solvers.

InterposeChecker

Experimental project to locate symbol interpositions in Debian packages

gcov-demo

A simple demo of gcov usage in different modes

seflasher

Simple serial port flasher

question-58541216

Temp repo for experiments with https://stackoverflow.com/questions/58541216/transitive-symbol-visiblity-in-c

films

A list of recommended films

ShlibVisibilityChecker-test

Tests for yugr/ShlibVisibilityChecker-action project

gatecheck

Yet another Verilog static analyzer

CppRussia

Slides for CppRussia conference