main.php

<?php


use PhpParser\NodeDumper;

require __DIR__.'/vendor/autoload.php';

require "ASTParser.php";
require "IRGenerator.php";
require "ScopeExtractor.php";
require "CFGGenerator.php";
require "SSAConstructor.php";
require "TaintAnalyzer.php";


$proj_path = "";  // Path to project

// Parse AST
$ast_parser = new ASTParser($proj_path);
$asts = $ast_parser->getASTs();

// IR
$tacs = [];
foreach ($asts as $ast)
{
    echo "Converting ".$ast["filename"]." to IRs\n";
    $ir_gen = new IRGenerator($ast);
    array_push($tacs, ["filename" => $ast["filename"], "lines" => $ir_gen->getTacs()]);
}

// Scope Tree
$scope_trees = [];
foreach ($tacs as $tac)
{
    echo "Extracting functions of ".$tac["filename"]."\n";
    $scope_ext = new ScopeExtractor($tac);
    array_push($scope_trees, ["filename" => $tac["filename"], "scope_tree" => $scope_ext->getTopTreeNode()]);
}

// CFG
for ($i=0; $i<count($scope_trees); ++$i)
{
    echo "Generating CFGs for ".$scope_trees[$i]["filename"]."\n";
    $cfg_gen = new CFGGenerator($scope_trees[$i]["scope_tree"]);
    $scope_trees[$i]["scope_tree"] = $cfg_gen->getScopeNode();
}

// SSA
for ($i=0; $i<count($scope_trees); ++$i)
{
    echo "Converting IRs of ".$scope_trees[$i]["filename"]." to SSA form.\n";
    $ssa_con = new SSAConstructor($scope_trees[$i]["scope_tree"]);
    $scope_trees[$i]["scope_tree"] = $ssa_con->getScopeNode();
}

// Taint Analysis
for ($i=0; $i<count($scope_trees); ++$i)
{
    echo "Performing taint analysis for ".$scope_trees[$i]["filename"]."\n";
    $taint_analyzer = new TaintAnalyzer([], $scope_trees[$i]["scope_tree"]);
    $taint_analyzer->setCalleeName("{main}");
    echo "Taint Result:\n";
    $taint_analyzer->outputResult(0);
}