In the ever-evolving landscape of software development, ensuring the
security, reliability, and quality of software products is paramount.
One critical aspect of this process is Software Composit...
The quality of the JavaScript code is often verified with the
traditional activities of unit and functional testing. There are
however tools that allow checking code before or during its executio...
Code quality is an abstract concept that fails to get traction at the
business level. Consequently, software companies keep trading code
quality for new features. The resulting technical debt is ...
This presentation explores the current capabilities of existing C++
static analyzers and discuss some of the enforcements listed in the
C++ Core Guidelines from a toolability aspect. It also look...
This talk discusses various advances in program analysis technology
that enable a larger class of bugs to be detected earlier in software
development projects (and even to be automatically fixed ...
This presentation reviews recent developments in code analysis as well
as the history of static analysis in commercial software and its
evolution in the academic world. It provides an overview of...
Specializing static analysis techniques for test suites has yielded
interesting results. We’ve previously learned that most tests are
simple straight-line code, namely a sequence of setup state...
Static analysis tools have the potential to significantly improve
programmer productivity as well as the safety, reliability and
efficiency of the code they write. Modern static analysis has move...
