Fissile type analysis (original) (raw)
Related papers
SWAN: a static analysis framework for swift
Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
Using types to analyze and optimize object-oriented programs
ACM Transactions on Programming Languages and Systems, 2001
Simple and effective analysis of statically-typed object-oriented programs
ACM SIGPLAN Notices, 1996
2001
Compile-time analysis of object-oriented programs
Lecture Notes in Computer Science, 1992
The Objective-C Programming Language Contents
Interprocedural and Flow-Sensitive Type Analysis for Memory and Type Safety of C Code
Journal of Automated Reasoning, 2009
srcPtr: A Framework for Implementing Static Pointer Analysis Approaches
2019 IEEE/ACM 27th International Conference on Program Comprehension (ICPC)
Using Types to Analyze and Optimize
2001
Introspection for C and its Applications to Library Robustness
The art, science, and engineering of programming, 2017
Static Analysis of Applications written in modern languages
Static Analysis of C for Hybrid Type Checking
2007
2001
Renraku: the One Static Analysis Model to Rule Them All
2017
2.1 Static Type Inference.................................... 5
2013
Lessons from building static analysis tools at Google
Communications of the ACM, 2018
Program style analysis: a natural by-product of program compilation
Communications of the ACM, 1986
STALlion: a simple typed assembly language for static analysis
2004
An experiment to assess the benefits of inter-module type checking
Proceedings of the 3rd International Software Metrics Symposium, 1996
Extending the C + + Type System to support Annotations
2005
Idea: Measuring the Effect of Code Complexity on Static Analysis Results
Engineering Secure Software and Systems, 2009
Spy: A flexible code profiling framework
Computer Languages, Systems & Structures, 2012
Type and Effect Annotations for Safe Memory Access in C
2008
Static analysis for dummies: experiencing LiSA
Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2021
ARC++: effective typestate and lifetime dependency analysis
Proceedings of the 2014 International Symposium on Software Testing and Analysis, 2014
3. Enhancing the Security of C Programs with the Standard GCC Compiler and a Static Analyser
Type Access Analysis: Towards Informed Interface Design
The Journal of Object Technology, 2007
Cascade: A Universal Programmer-Assisted Type Qualifier Inference Tool
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 2015
Software Architecture of Code Analysis Frameworks Matters: The Frama-C Example
arXiv (Cornell University), 2015
Typeview: a tool for understanding type errors
2000