GeistHaus
log in · sign up

GitHub - google/sanitizers: AddressSanitizer, ThreadSanitizer, MemorySanitizer

github.com

AddressSanitizer, ThreadSanitizer, MemorySanitizer - google/sanitizers

21 pages link to this URL
Fuzzing an API with libfuzzer

[Edit] I was just told that libFuzzer is deprecated. I think the ideas presented are valid for any fuzzer, but the details will differ. Wh...

Playful Programming

Solving problems that don't need solving, just because it's fun and educating.

Verified Security for the Morello Capability-enhanced Prototype Arm Architecture

Memory safety bugs continue to be a major source of security vulnerabilities in our critical infrastructure. The CHERI project has proposed extending conventional architectures with hardware-supported capabilities to enable fine-grained memory protection and scalable...

2 inbound links Paper en CC BY 4.0
Dynamic Data Race Detection in Go Code

Uber has extensively adopted Go as a primary programming language for developing microservices. Our Go monorepo consists of about 50 million lines of code and contains approximately 2,100 unique Go services. Go makes concurrency a first-class citizen; prefixing function calls with the go keyword runs the call asynchronously. These asynchronous function calls in Go are called goroutines. Developers hide latency (e.g., IO or RPC calls to other services) by creating goroutines within a single running Go program. Goroutines are considered “lightweight”, and the Go runtime context switches them on the operating-system (OS) threads. Go programmers often use goroutines liberally. Two or more goroutines can communicate data either via message passing (channels) or shared memory. Shared memory happens to be the most commonly used means of data communication in Go.

1 inbound link website en