Utilizing type systems for static vulnerability analysis

Utilizing type systems for static vulnerability analysis

Programming languages use type systems to reduce number of bugs. Type systems of most languages are not powerful enough to express basic exception safety. Extension of type system in a way that allows representing exception guaranties can provide valuable information to analysis tools. Such tools co...

Full description

Bibliographic Details
Main Authors: Lavrentii Tsvetkov, Anton Spivak
Format: Article
Language:English
Published: FRUCT 2016-04-01
Series:Proceedings of the XXth Conference of Open Innovations Association FRUCT
Subjects:
static code analysis
type systems
vulnerability analysis
dependent types
memory safety
pointer aliasing
Online Access:https://fruct.org/publications/fruct18/files/Tsv.pdf

Internet

https://fruct.org/publications/fruct18/files/Tsv.pdf

Similar Items