• Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Python
  • License
    MIT License
  • Created over 6 years ago
  • Updated over 5 years ago

Reviews

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

Repository Details

Experimental project to locate symbol interpositions in Debian packages

More Repositories

1

Implib.so

POSIX equivalent of Windows DLL import libraries
Python
216
star
2

libdebugme

Automatically spawn gdb on error.
C
65
star
3

python-hate

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

SymbolHider

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

ShlibVisibilityChecker

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

sortcheck

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

sighandlercheck

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

maintainer-scripts

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

valgrind-preload

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

sortcheckxx

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

DirtyFrame

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

primogen

A toy prime number generator in Verilog
Verilog
9
star
13

scripts-and-dotfiles

Bashrc and friends.
Shell
9
star
14

FlakyIterators

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

mgt-notes

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

gcc-interp

Run C files as standalone scripts
Python
8
star
17

DirtyPad

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

debian_pkg_test

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

gaplan

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

Localizer

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

uInit

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

pkupk

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

failing-malloc

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

SchoolTracker

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

ld-limiter

Limit number of parallel link jobs
Shell
4
star
26

Lalambda

Slides for Lalambda school
Coq
4
star
27

parmatch

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

sudoku

A simple Sudoku solver that I've done to experiment with SAT/SMT solvers.
Haskell
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