Yuri Gribov (@yugr)
github

yugr

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    654
  • Global Rank 45,616 (Top 2 %)
  • Followers 79
  • Following 43
  • Registered about 13 years ago
  • Most used languages
    Python
         27.3 %
    C
         24.2 %
    Shell
         21.2 %
    C++
         12.1 %
    Perl
         6.1 %
    Haskell
         3.0 %
    Verilog     3.0 %
    Coq     3.0 %

Top 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

InterposeChecker

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

gcov-demo

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

seflasher

Simple serial port flasher
Python
2
star
32

question-58541216

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

films

A list of recommended films
2
star
34

ShlibVisibilityChecker-test

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

gatecheck

Yet another Verilog static analyzer
Perl
2
star
36

CppRussia

Slides for CppRussia conference
C
1
star