Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
phantm [2012/02/07 01:13] ekneuss Remove demo link for now, it is down. |
phantm [2012/07/22 22:26] vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| {{phantm-blue-solid.png|}} | {{phantm-blue-solid.png|}} | ||
| - | |||
| - | |||
| - | |||
| ====== Phantm : PHP Analyzer for Type Mismatch ====== | ====== Phantm : PHP Analyzer for Type Mismatch ====== | ||
| Line 19: | Line 16: | ||
| * [[phantm:faq|FAQ]] | * [[phantm:faq|FAQ]] | ||
| * [[phantm:options|Options]] | * [[phantm:options|Options]] | ||
| + | |||
| + | |||
| + | ===== Online Demo ===== | ||
| + | The easiest way to play with Phantm is to try it on the [[http://phantm.croustillant.ch/|live demo site]]. It also contains multiple predefined scripts highlighting important features of Phantm. | ||
| ===== Getting started ===== | ===== Getting started ===== | ||
| Line 32: | Line 33: | ||
| For a detailed description of the available options, see [[phantm:options|Options]]. | For a detailed description of the available options, see [[phantm:options|Options]]. | ||
| + | |||
| + | ===== Publications ===== | ||
| + | |||
| + | Parts of phantm are described in the following papers: | ||
| + | |||
| + | * E. Kneuss, P. Suter, V. Kuncak. //Runtime Instrumentation for Precise Flow-sensitive Analysis//. RV 2010, pp. 300-314. [[http://lara.epfl.ch/~kuncak/papers/KneussETAL10RuntimeInstrumentationforPreciseFlow.pdf|PDF]] | ||
| + | * E. Kneuss, P. Suter, V. Kuncak. //Phantm: PHP Analyzer for Type Mismatch (Research Demonstration)//. FSE 2010, pp. 373-374. [[http://lara.epfl.ch/~kuncak/papers/KneussETAL10Phantm.pdf|PDF]] | ||