Static Analysis of String Manipulations in Critical Embedded C Programs
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 1832225
- Static analysis of run-time errors in embedded real-time parallel C programs
- Value-range analysis of C programs. Towards proving the absence of buffer overflow vulnerabilities
- Static analysis of run-time errors in embedded critical parallel C programs
- Interprocedural and flow-sensitive type analysis for memory and type safety of C code
Cited in
(11)- Inferring functional properties of matrix manipulating programs by abstract interpretation
- Analyzing string buffers in C
- Access analysis-based tight localization of abstract memories
- Value-range analysis of C programs. Towards proving the absence of buffer overflow vulnerabilities
- Inferring Min and Max Invariants Using Max-Plus Polyhedra
- scientific article; zbMATH DE number 1962745 (Why is no real title available?)
- scientific article; zbMATH DE number 1832225 (Why is no real title available?)
- Weaknesses analysis of C string functions based on topological space
- Non-disjunctive Numerical Domain for Array Predicate Abstraction
- A Hybrid Approach for Safe Memory Management in C
- Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
This page was built for publication: Static Analysis of String Manipulations in Critical Embedded C Programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3613377)
