• Stars
    star
    65
  • Rank 473,702 (Top 10 %)
  • Language
    C
  • License
    ISC License
  • Created almost 9 years ago
  • Updated over 2 years ago

Reviews

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

Repository Details

Automatically spawn gdb on error.

More Repositories

1

Implib.so

POSIX equivalent of Windows DLL import libraries
Python
216
star
2

python-hate

A growing list of things I dislike about Python
49
star
3

SymbolHider

A tool which hides symbols exported from shared libraries or relocatable object files
C
37
star
4

ShlibVisibilityChecker

Tool for locating internal symbols unnecessarily exported from shared libraries.
Python
35
star
5

sortcheck

Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
C
35
star
6

sighandlercheck

Proof-of-concept tool for checking signal handlers for reentrancy issues.
C
17
star
7

maintainer-scripts

A bunch of useful scripts for toolchain/distro maintenance.
Shell
17
star
8

valgrind-preload

LD_PRELOAD-able library which runs all spawned processes under Valgrind.
C
15
star
9

sortcheckxx

Tool for detecting violations of ordering axioms in STL comparators
C++
14
star
10

DirtyFrame

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

primogen

A toy prime number generator in Verilog
Verilog
9
star
12

scripts-and-dotfiles

Bashrc and friends.
Shell
9
star
13

FlakyIterators

A fast and dirty checker based on libclang which detects non-deterministic iteration
C++
8
star
14

mgt-notes

Various notes on team management (for personal use)
8
star
15

gcc-interp

Run C files as standalone scripts
Python
8
star
16

DirtyPad

Clang plugin which fills structure pads to provoke buffer overflow errors
C++
7
star
17

debian_pkg_test

Scripts to apply code analyzers to Debian packages.
Shell
7
star
18

gaplan

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

Localizer

A simple tool to find functions which can be made static
Python
6
star
20

uInit

Instructions on obtaining stable benchmarks results on modern Linux distro
Shell
6
star
21

pkupk

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

failing-malloc

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

SchoolTracker

Simple tool to track Moscow schools on map
Python
5
star
24

ld-limiter

Limit number of parallel link jobs
Shell
4
star
25

Lalambda

Slides for Lalambda school
Coq
4
star
26

parmatch

A simple script for finding unbound parameters in Verilog module instantiations.
Perl
3
star
27

sudoku

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

InterposeChecker

Experimental project to locate symbol interpositions in Debian packages
Python
3
star
29

gcov-demo

A simple demo of gcov usage in different modes
Shell
3
star
30

seflasher

Simple serial port flasher
Python
2
star
31

question-58541216

Temp repo for experiments with https://stackoverflow.com/questions/58541216/transitive-symbol-visiblity-in-c
C++
2
star
32

films

A list of recommended films
2
star
33

ShlibVisibilityChecker-test

Tests for yugr/ShlibVisibilityChecker-action project
C
2
star
34

gatecheck

Yet another Verilog static analyzer
Perl
2
star
35

CppRussia

Slides for CppRussia conference
C
1
star