Analyse de sécurité de logiciels système par typage statique. (Security analysis of system code using static typing)
Explore this paper's citation graph
Summary
The goal of this thesis is to use static typing to detect the dangerous uses of pointers that are controlled by userspace, and adds to Safespeak the notion of pointers coming from userspace.
- Type
- dissertation
- Published
- 2014-07-10
- Cited by
- 0
- References
- 73
- Access
- Open access
- OpenAlex
- https://openalex.org/W53754670
- Semantic Scholar
- https://api.semanticscholar.org/CorpusID:29020688
Keywords
Humanities, Philosophy
References
- The C Programming Language, Second Edition
- Finding User/Kernel Pointer Bugs with Type Inference
- Polymorphic type, region and effect inference
- Objective Caml : développment d'applications avec
- Real World Haskell
- Objective ML: An Effective Object-Oriented Extension to ML
- Understanding the Linux Kernel, Second Edition
- The Ariane 5 Flight 501 Failure - A Case Study in System Engineering for Computing Systems
- Types and programming languages: the next generation
- Flow Caml in a Nutshell
- Cyclone: A Safe Dialect of C
- Modern Operating Systems
- A theory of type qualifiers
- Region-based memory management in cyclone
- CSSV: towards a realistic tool for statically detecting all buffer overflows in C
- Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem
- A few billion lines of code later
- Deciding ML typability is complete for deterministic exponential time
- Implementation of the memory-safe full ANSI-C compiler
- Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation
Cited by
No citing papers recorded for this paper.
Related papers
No related papers recorded.