Build software better, together

When the program panics the entire stack trace is returned. A more user friendly should be returned.
It should contain the failing stacktrace but also the following messages as in the example stacktrace below (taken from that of the stdlib pointer package):

Internal panic in while performing analysis: at the top
Error in analysis (please report this bug) at the bot

Add command line argument for shorter warning output

racepwn / racepwn

Star

Race Condition framework

race-conditions

Updated Dec 1, 2020
Python

golang-basics / concurrency

Star

Concurrency in Go video course with in depth explanations & examples

Updated May 4, 2022
Go

goblint / analyzer

Star

Static analysis framework for C

c static-code-analysis static-analysis ocaml program-analysis software-verification abstract-interpretation race-detection race-conditions

Updated Jul 6, 2022
OCaml

Flufd / use-current-effect

Star

useEffect hook with injected current flag

react side-effects race-condition-prevention race-conditions react-hooks

Updated Feb 12, 2022
TypeScript

mikedeshazer / bricks

Star

Bricks is a sandbox and instruction manual collection for building smart contract exploits for Ethereum blockchains, designed to help developers think like hackers in a safe, fun environment.

simulator tdd ethereum truffle cybersecurity solidity manipulation hacks race-conditions legos oracles ganache

Updated Jun 22, 2020
JavaScript

aboudicheng / use-optimistic-reducer

Star

⏱️ React reducer hook for handling optimistic UI updates and race-conditions.

react hook reducer optimistic-ui optimistic-updates race-conditions

Updated Jan 15, 2022
TypeScript

jcp19 / SPIDER

Star

Automated data race detection from a distributed trace via SMT constraint solving

distributed-systems testing-tools debugging-tools race-detection traces runtime-verification race-conditions race-detection-engines

Updated Jan 4, 2022
Java

utpalbora / LLOV

Star

LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs

fortran llvm static-analysis openmp clang program-verification polly llvm-ir race-detection race-conditions flang data-race race-detector openmp-verification dataracebench-fortran openmp-programs llvm-openmp-verifier race-checker

Updated May 5, 2022
C++

HowProgrammingWorks / Mutex

Star

Preventing race conditions with Mutual Exclusion

parallel-computing locking semaphore mutex shared-memory parallel-programming race-conditions

Updated Jun 12, 2022
JavaScript

0xcpu / dijuno

Star

POC for a race condition exploit using directory junctions in Windows

windows race-conditions directory-junction

Updated Apr 26, 2020
C

stagas / atomic

Star

makes a function atomic with timeout and abort signal

atomic promise concurrency timeout signal abort race-conditions

Updated Jan 20, 2022
TypeScript

Make-School-Courses / ARCHIVE-MOB-9-Concurrency-and-Parallelism-in-iOS

Star

Concurrency & Parallelism in iOS

concurrency deadlock nsoperation parallelism operations nsoperationqueue gcd threads queues race-conditions dispatchworkitem

Updated May 14, 2019
Swift

coderrect-inc / coderrect-github-action

Star

Coderrect is a static analyzer for concurrent C/C++/Fortran programs to detect data-races/race-conditions/anti-patterns.

c cpp fortran static-analysis openmp multithreading race race-conditions github-actions data-race data-race-detection

Updated Jan 28, 2021

alextanhongpin / mastering-go-concurrency

Star

Go Concurrency 101

golang concurrency race-conditions

Updated Apr 1, 2018
Go

mihdan / mihdan-ticket-31245-patch

Star

Плагин под WordPress, который убирает состояние гонки при обновлении кеша alloptions

php wordpress wordpress-plugin ticket php7 php5 patch mihdan race-conditions

Updated May 14, 2019
PHP

batux / java.concurrency.examples

Star

Examples which are related about Java Concurrency ...

java synchronization threadsafe concurrency multithreading locks race-conditions

Updated Jul 29, 2017
Java

advancedtelematic / quickcheck-state-machine-distributed

Star

Test monadic programs using state machine based models

testing haskell state-machine haskell-library quickcheck race-conditions linearizability

Updated May 3, 2018
Haskell

jesse-r-s-hines / MultithreadingDemo

Star

An online, interactive multithreading visualization. Demonstrate race conditions, deadlock, and synchronization primitives such as locks, condition variables and semaphores.

concurrency multithreading locks threading race-conditions semaphores condition-variables deadlocks

Updated Apr 15, 2022
Scala

FelipeMonobe / lagoinha-hs

Star

A Haskell study with concurrency, http requests, JSON and XML parsing.

http json haskell functional-programming async asynchronous xml concurrency aeson haskell-learning race-conditions wreq

Updated Jun 15, 2020
Haskell

mrjatinchauhan / OS-Programs

Star

OS-Programs related to System Call, Process Creation, Threading, Synchronization, Race condition, Semaphores, Inter-Process-Communication, Pipes, Shared memory, message passing & further more.