yugr/gatecheck yugr/gatecheck

  • Stars
    star
    2
  • Language
    Perl
  • License
    MIT License
  • Created almost 6 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
yugr/gatecheck
github

yugr

Reviews

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

Repository Details

Yet another Verilog static analyzer

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

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

CppRussia

Slides for CppRussia conference
C
1
star