Finding Bugs with Clang at Compile and Run Time
Explore Clang's static analysis and sanitizers for detecting C/C++ bugs at compile-time and run-time. Learn to write custom code checkers and apply these techniques to improve software quality.
Navigating the Development and Evolution of a Library
Comprehensive guide on library development, covering code quality, testing, documentation, release management, and user engagement. Insights from Boost and libc++ experiences.
A Case Study in Incrementing a Language's Major Version - PHP
Exploring PHP 7's major version upgrade: balancing innovation with backward compatibility, encouraging adoption, and comparing approaches with other programming languages.
Compiling Your Story - Using Techniques from Compiler Design to Check Your Narrative
Explore compiler techniques applied to narrative design, enhancing dialogue error-checking and streamlining testing processes for branching stories in game development.
FPGA Design with Chisel
Explore Chisel, a modern hardware description tool leveraging Scala for complex digital circuit design, offering improved ergonomics and software engineering practices over traditional HDLs.
When Warnings Become Errors - A Case-Study of Latent Bugs
Explore real-world examples of latent C++ bugs uncovered during compiler updates and static analysis, highlighting the importance of modern tooling for code quality and maintainability.
Building Useful Tools with LLVM and Clang for Fun and Profit
Explore LLVM and clang libraries for custom C++ tools. Learn AST representation, static analysis, and source-to-source transformations to enhance workflow and productivity.
Oh No! My Regex Is Causing a Denial of Service! What Can I Do About It?
Explore regex performance issues, including ReDoS, with practical examples. Learn to detect problematic expressions, improve performance, and defend against malicious inputs using static analysis techniques.
Async - Scaling Structured Concurrency with Static and Dynamic Analysis
Exploring structured concurrency in async Python: advantages, error handling, timeouts, and tools for reliable code. Learn static and dynamic analysis techniques to write efficient async programs.
Static Analysis of Python
Explore Python static analysis techniques to catch errors early, improve code quality, and enhance development efficiency without sacrificing language dynamism.
Identifying Bugs Before Runtime With Jedi
Explore advanced Python bug detection using Jedi, an autocompletion library that understands dynamic features. Learn to identify errors before runtime for improved code quality.
12 Years of Pylint - Or How I Learned to Stop Worrying About Bugs
Explore Pylint's powerful static analysis capabilities for Python, from style checking to advanced bug detection and code understanding, with insights on its inner workings and future developments.
Finding Bugs for Free - The Magic of Static Analysis
Explore static analysis techniques for Python to improve code quality and find bugs without annotations. Learn about LGTM's powerful tools and their applications.
Exploring the Python AST Ecosystem
Dive into Python's abstract syntax tree ecosystem, exploring tools for visualization, creation, and transformation. Learn practical applications in static analysis and metaprogramming for enhanced code manipulation.
Tooling for Static Analysis of Python Programs
Explore static analysis tools for Python, including gast and beniget modules, to enhance linting, type inference, and IDE capabilities despite Python's dynamic nature.
Clang Static Analyzer
Explore Clang Static Analyzer's capabilities for finding semantic errors, its integration with LLVM, and potential applications in Linux kernel development.
GCC's -fanalyzer and the Linux Kernel
Explore GCC's -fanalyzer tool for Linux kernel development, covering memory tracking, warning detection, and custom attributes to enhance code security and reliability.
Dynamic Image Scanning Through System Tracing
Explore dynamic scanning for detecting sophisticated malware through system tracing. Learn about behavioral patterns, open-source tools, and comparisons with static scanning and runtime security.
Static Analysis of Kubernetes Manifests
Explore best practices for infrastructure-as-code in cloud development, focusing on policy-as-code implementation in CI/CD and Kubernetes runtime. Compare methods and examine real-world use cases.
Programming with Futures, Lattices and Quiescence
Explores extending Scala's futures with lattices and quiescence, enabling multiple updates and cyclic dependency resolution. Discusses applications in concurrent static analysis frameworks like OPAL.
ScalaClean - Full Program Static Analysis at Scale
Explore full-program static analysis for Scala, focusing on code quality, dead code removal, and optimization techniques to improve large-scale software projects.