/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 timur.audio
Contracts for C++ explained in 5 minutes - timur.audio
| | metasepi.org
ATS2 and VeriFast avoid some of FreeBSD vulnerabilities - Metasepi
12.2 parsecs away

Travel
| | [AI summary] An analysis of 50 recent FreeBSD kernel vulnerabilities demonstrates how the ATS2 language and VeriFast tool can mechanically prevent 16% of security flaws related to memory and lock management.
| | sergioprado.blog
Finding memory bugs with AddressSanitizer - sergioprado.blog
5.8 parsecs away

Travel
| | AddressSanitizer (ASan) is an instrumentation tool created by Google security researchers to identify memory access problems in C and C++ programs.
| | www.huibschoots.nl
State of Testing survey 2016 - Magnifiant: exploring software testing
5.7 parsecs away

Travel
| | This survey seeks to identify the existing characteristics, practices and challenges facing the testing community in hopes to shed light and provoke a fruitful discussion towards improvement. The S...
| | williamdurand.fr
Patching the Linux kernel (Raspbian & CVE-2016-0728) | William Durand
31.0 parsecs away

Travel
| CVE-2016-0728 has been disclosed earlier this week and it is a serious security issue. The vulnerability affects most of the Linux kernel versions (3.8 and above). Although the exploit seems tricky to successfully use, it is still a flaw that has to be patched ASAP.