diff --git a/includes/help_dialog.php b/includes/help_dialog.php new file mode 100644 index 0000000..3a9f0e4 --- /dev/null +++ b/includes/help_dialog.php @@ -0,0 +1,34 @@ + +
+ +
+ + Magic comments +

Add as the first line of your code to enable extra analysis modes:

+ + + + + + + + + + + + + + + + + +
<?php // --taint-analysisEnable taint analysis (security analysis for tracking user input through sinks)
<?php // checkTaintedInputAlias for --taint-analysis
<?php // trackTaintsAlias for --taint-analysis
<?php // findUnusedCodeDetect unused classes, methods, properties, and variables (same as enabling both “Detect unused” checkboxes)
+ + URL parameters + + + + + +
?php=8.1Set PHP target version (supported: 5.6, 7.0–7.4, 8.0–8.4)
+ diff --git a/includes/script.php b/includes/script.php index 327aa3e..06cbd72 100644 --- a/includes/script.php +++ b/includes/script.php @@ -42,6 +42,12 @@ '
' + input + '
' ); }); + settingsLines.push( + '
' + + '' + + '
' + ); + document.getElementById('settings_panel').innerHTML = settingsLines.join('\n'); }; diff --git a/views/index.php b/views/index.php index 8545cbd..66b3ede 100755 --- a/views/index.php +++ b/views/index.php @@ -53,6 +53,7 @@ function takesAnInt(int $i) { +