Literature

[tomdenbraber]

I have grouped the literature per subject. I will try to keep this issue up-to-date.

Exception flow

• Static Analysis to Support the Evolution of Exception Structure in Object-Oriented Systems by Robillard, Murphy. This is the paper of which I am currently trying to implement the algorithm.
• Analysis and Testing Programs with Exception-Handling Constructs by Sinha, Harrold
• Interprocedural Exception Analysis for C++ by Prabhu et. al

Call graphs

• Scalable Propagation-Based Call Graph Construction Algorithms by Tip, Palsberg
• Call graph construction in object-oriented languages by Grove, DeFouw, Dean, Chambers.

Type Inference

• Type Analysis for JavaScript by Jensen, Møller, Thiemann
• On Using Static Analysis to Detect Type Errors in PHP Applications by Kneuss, Suter, Kuncak
• Object-sensitive type analysis of PHP by van der Hoek, Hage

PHP specific

• Variable features usage patterns in PHP by Hills
• An empirical study of PHP feature usage by Hills

Other

• Simple and Efficient Construction of Static Single Assignment Form, by Braun et. al. This method is used in the PHP-Cfg library, which in turn is used by the PHP-Types library, for constructing the control-flow graph.

[mauricioaniche]

This "On Using Static Analysis to Detect Type Errors in PHP Applications" seems very related. What does this paper do?

On Thu, Dec 15, 2016, 20:54 Tom ***@***.***> wrote: I have grouped the literature per subject. I will try to keep this issue up-to-date. Exception flow - *Static Analysis to Support the Evolution of Exception Structure in Object-Oriented Systems* by Robillard, Murphy. This is the paper of which I am currently trying to implement the algorithm. - *Analysis and Testing Programs with Exception-Handling Constructs* by Sinha, Harrold - *Interprocedural Exception Analysis for C++* by Prabhu et. al Call graphs - *Scalable Propagation-Based Call Graph Construction Algorithms* by Tip, Palsberg - *Call graph construction in object-oriented languages* by Grove, DeFouw, Dean, Chambers. Type Inference - *Type Analysis for JavaScript* by Jensen, Møller, Thiemann - *On Using Static Analysis to Detect Type Errors in PHP Applications* by Kneuss, Suter, Kuncak - *Object-sensitive type analysis of PHP* by van der Hoek, Hage PHP specific - *Variable features usage patterns in PHP* by Hills - *An empirical study of PHP feature usage* by Hills Other - *Simple and Efficient Construction of Static Single Assignment Form*, by Braun et. al. This method is used in the PHP-Cfg <https://github.com/ircmaxell/php-cfg> library, which in turn is used by the PHP-Types <https://github.com/ircmaxell/php-types> library, for constructing the control-flow graph. — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#1>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAGJzDDmlRaPx7DmMAfkwH5Lkv8mfaG1ks5rIZr1gaJpZM4LOgLH> .

-- Maurício Aniche Postdoc researcher Delft University of Technology www.mauricioaniche.com @mauricioaniche