diff --git a/tools/analysis/VisualFAIL/core.php b/tools/analysis/VisualFAIL/core.php
index 198a7b5c..95ffd2fa 100644
--- a/tools/analysis/VisualFAIL/core.php
+++ b/tools/analysis/VisualFAIL/core.php
@@ -7,7 +7,7 @@ $verbindung = mysql_connect ($host,$username, $password)
mysql_select_db($database) or die ("Die Datenbank existiert nicht.");
//Kommande lesen
-switch ($_GET['kommando'])
+switch ($_GET['kommando'])
{
case "dbTest" : dbTest();break;
case "getAsmCode" : getAsmCode();break;
@@ -23,77 +23,77 @@ switch ($_GET['kommando'])
function dbTest()
{
-
+
$check = true;
-
+
$abfrage = "SELECT 1 FROM objdump;";
-
+
$ergebnis = mysql_query($abfrage);
-
+
if(!$ergebnis) {
echo json_encode('Tabelle objdump nicht gefunden
');
return;
}
-
+
$abfrage = "SELECT 1 FROM fulltrace;";
-
+
$ergebnis = mysql_query($abfrage);
-
+
if(!$ergebnis) {
echo json_encode('Tabelle fulltrace nicht gefunden
');
return;
}
-
+
$abfrage = "SELECT 1 FROM dbg_filename;";
-
+
$ergebnis = mysql_query($abfrage);
-
+
if(!$ergebnis) {
echo json_encode('Tabelle dbg_filename nicht gefunden
');
return;
}
-
+
$abfrage = "SELECT 1 FROM dbg_mapping;";
-
+
$ergebnis = mysql_query($abfrage);
-
+
if(!$ergebnis) {
echo json_encode('Tabelle dbg_mapping nicht gefunden
');
return;
}
-
+
$abfrage = "SELECT 1 FROM dbg_methods;";
-
-
+
+
$ergebnis = mysql_query($abfrage);
-
+
if(!$ergebnis) {
echo json_encode('Tabelle dbg_methods nicht gefunden
');
return;
}
-
+
$abfrage = "SELECT 1 FROM dbg_source;";
-
+
$ergebnis = mysql_query($abfrage);
-
+
if(!$ergebnis) {
echo json_encode('Tabelle dbg_source nicht gefunden
');
return;
}
-
+
$abfrage = "SELECT 1 FROM dbg_stacktrace;";
-
+
$ergebnis = mysql_query($abfrage);
-
+
if(!$ergebnis) {
echo json_encode('Tabelle dbg_stacktrace nicht gefunden
');
return;
}
-
+
$abfrage = "SELECT 1 FROM dbg_variables;";
-
+
$ergebnis = mysql_query($abfrage);
-
+
if(!$ergebnis) {
echo json_encode('Tabelle dbg_variables nicht gefunden
');
return;
@@ -103,67 +103,67 @@ function dbTest()
function getBinarys()
{
$binarys = array();
-
+
$abfrage = "SELECT benchmark FROM variant;";
-
+
$ergebnis = mysql_query($abfrage);
-
+
mysql_close($verbindung);
-
+
while($row = mysql_fetch_object($ergebnis))
{
array_push($binarys, $row->benchmark);
}
-
+
$result = array_unique($binarys);
-
+
echo json_encode($result);
}
function getVariants()
{
$variants = array();
-
+
$abfrage = "SELECT id, variant FROM variant WHERE benchmark = '" . $_GET['datei'] ."';";
-
+
$ergebnis = mysql_query($abfrage);
-
+
mysql_close($verbindung);
-
+
while($row = mysql_fetch_object($ergebnis))
{
$variants[$row->id] = $row->variant;
}
-
+
echo json_encode($variants);
}
-function getSourceFiles()
+function getSourceFiles()
{
$sourceFiles = array();
-
+
$abfrage = "SELECT file_id, path FROM dbg_filename WHERE variant_id = '" . $_GET['variant']. "';";
-
+
$ergebnis = mysql_query($abfrage);
-
+
mysql_close($verbindung);
-
+
while($row = mysql_fetch_object($ergebnis))
{
$sourceFiles[$row->file_id] = $row->path;
}
-
+
echo json_encode($sourceFiles);
}
function asmCode()
{
$content = "";
-
+
$abfrage = "SELECT instr_address, disassemble FROM objdump WHERE variant_id = '" . $_GET['variant_id'] ."' ORDER BY instr_address;";
-
+
$ergebnis = mysql_query($abfrage);
-
+
mysql_close($verbindung);
$content = $content;
while($row = mysql_fetch_object($ergebnis))
@@ -179,14 +179,14 @@ function getAsmCode()
$resulttypes = array();
$asmAbfrage = "SELECT instr_address, disassemble FROM objdump WHERE variant_id = '" . $_GET['variant_id'] ."' ORDER BY instr_address;";
-
+
$asmcode = mysql_query($asmAbfrage);
-
+
getResulttypes($resulttypes);
-
+
$fehlerdaten = resultsDB($_GET['variant_id'], $_GET['version'], $resulttypes);
//$fehlerdaten = askDBFehler($_GET['variant_id'], $resulttypes, $_GET['version']);
-
+
//print_r($fehlerdaten);
$content = '
-