The following pages link to CCured (Q5178902):
Displaying 9 items.
- Using static analysis to reduce dynamic analysis overhead (Q812056) (← links)
- Interprocedural and flow-sensitive type analysis for memory and type safety of C code (Q835770) (← links)
- On the edge-length ratio of outerplanar graphs (Q1740698) (← links)
- A type system for static and dynamic checking of C++ pointers (Q1767975) (← links)
- Stochastic modelling of communication protocols from source code (Q2870288) (← links)
- Partitioned Memory Models for Program Analysis (Q2961587) (← links)
- Combining Model Checking and Testing (Q3176377) (← links)
- Vector Commitments and Their Applications (Q4916001) (← links)
- A Hybrid Approach for Safe Memory Management in C (Q5505437) (← links)