diff --git a/graphjs-results/code/normalized.js b/graphjs-results/code/normalized.js deleted file mode 100644 index fa64889..0000000 --- a/graphjs-results/code/normalized.js +++ /dev/null @@ -1,7 +0,0 @@ -let f; -f = function (o, x, y, z) { - z_dash = z + 1; - let v1; - v1 = o[x]; - v1[y] = z_dash; -} diff --git a/graphjs-results/graph/graph.svg b/graphjs-results/graph/graph.svg deleted file mode 100644 index 5837b81..0000000 --- a/graphjs-results/graph/graph.svg +++ /dev/null @@ -1,211 +0,0 @@ - - - - - - -G - - - -f_3 : f - -f_3 : f - - - -l_3 : f - -l_3 : f - - - -f_3 : f->l_3 : f - - -D - - - -p_1 : this - -p_1 : this - - - -f_3 : f->p_1 : this - - -param this - - - -p_2 : o - -p_2 : o - - - -f_3 : f->p_2 : o - - -param 0 - - - -p_3 : x - -p_3 : x - - - -f_3 : f->p_3 : x - - -param 1 - - - -p_4 : y - -p_4 : y - - - -f_3 : f->p_4 : y - - -param 2 - - - -p_5 : z - -p_5 : z - - - -f_3 : f->p_5 : z - - -param 3 - - - -l_0 : z_dash - -l_0 : z_dash - - - -l_1 : o.* - -l_1 : o.* - - - -l_2 : v1 - -l_2 : v1 - - - -l_1 : o.*->l_2 : v1 - - -V(*) - - - -l_2 : v1->l_0 : z_dash - - -P(*) - - - -l_literal : literal value - -l_literal : literal value - - - -l_literal : literal value->l_0 : z_dash - - -D - - - -l_tsource : taint source - -l_tsource : taint source - - - -l_tsource : taint source->p_1 : this - - -TAINT - - - -l_tsource : taint source->p_2 : o - - -TAINT - - - -l_tsource : taint source->p_3 : x - - -TAINT - - - -l_tsource : taint source->p_4 : y - - -TAINT - - - -l_tsource : taint source->p_5 : z - - -TAINT - - - -p_2 : o->l_1 : o.* - - -P(*) - - - -p_3 : x->l_1 : o.* - - -D - - - -p_4 : y->l_2 : v1 - - -D - - - -p_5 : z->l_0 : z_dash - - -D - - - diff --git a/graphjs-results/graph/graph_stats.json b/graphjs-results/graph/graph_stats.json deleted file mode 100644 index 7578d3b..0000000 --- a/graphjs-results/graph/graph_stats.json +++ /dev/null @@ -1 +0,0 @@ -{ "edges": 18, "nodes": 12} \ No newline at end of file diff --git a/graphjs-results/graph/nodes.csv b/graphjs-results/graph/nodes.csv deleted file mode 100644 index 4d95fe7..0000000 --- a/graphjs-results/graph/nodes.csv +++ /dev/null @@ -1,13 +0,0 @@ -Id:ID¿Type¿SubType¿IdentifierName¿Raw¿InternalStructure¿Location¿Code¿Label:LABEL -5¿PDG_OBJECT¿¿o¿¿¿{"start":{"line":0,"column":0},"end":{"line":0,"column":0},"fname":""}¿¿PDG_OBJECT -12¿PDG_OBJECT¿¿v1¿¿¿{"start":{"line":3,"column":4},"end":{"line":3,"column":11},"fname":"/Users/tomastavares/projects/ast-gen/test/paper_examples/test.js"}¿¿PDG_OBJECT -13¿PDG_OBJECT¿¿¿¿¿{"start":{"line":0,"column":0},"end":{"line":0,"column":0},"fname":""}¿¿PDG_OBJECT -4¿PDG_OBJECT¿¿this¿¿¿{"start":{"line":0,"column":0},"end":{"line":0,"column":0},"fname":""}¿¿PDG_OBJECT -10¿PDG_OBJECT¿¿z_dash¿¿¿{"start":{"line":2,"column":13},"end":{"line":2,"column":18},"fname":"/Users/tomastavares/projects/ast-gen/test/paper_examples/test.js"}¿¿PDG_OBJECT -11¿PDG_OBJECT¿¿o.*¿¿¿{"start":{"line":3,"column":4},"end":{"line":3,"column":8},"fname":"/Users/tomastavares/projects/ast-gen/test/paper_examples/test.js"}¿¿PDG_OBJECT -7¿PDG_OBJECT¿¿y¿¿¿{"start":{"line":0,"column":0},"end":{"line":0,"column":0},"fname":""}¿¿PDG_OBJECT -9¿PDG_OBJECT¿¿f¿¿¿{"start":{"line":1,"column":0},"end":{"line":4,"column":1},"fname":"/Users/tomastavares/projects/ast-gen/test/paper_examples/test.js"}¿¿PDG_OBJECT -3¿PDG_FUNC¿¿f¿¿¿{"start":{"line":0,"column":0},"end":{"line":0,"column":0},"fname":""}¿¿PDG_FUNC -8¿PDG_OBJECT¿¿z¿¿¿{"start":{"line":0,"column":0},"end":{"line":0,"column":0},"fname":""}¿¿PDG_OBJECT -2¿TAINT_SOURCE¿¿TAINT_SOURCE¿¿¿{"start":{"line":0,"column":0},"end":{"line":0,"column":0},"fname":""}¿¿TAINT_SOURCE -6¿PDG_OBJECT¿¿x¿¿¿{"start":{"line":0,"column":0},"end":{"line":0,"column":0},"fname":""}¿¿PDG_OBJECT diff --git a/graphjs-results/graph/rels.csv b/graphjs-results/graph/rels.csv deleted file mode 100644 index 7754625..0000000 --- a/graphjs-results/graph/rels.csv +++ /dev/null @@ -1,19 +0,0 @@ -FromId:START_ID¿ToId:END_ID¿RelationLabel:TYPE¿RelationType¿IdentifierName¿ArgumentIndex¿ParamIndex¿StmtIndex¿ElementIndex¿ExpressionIndex¿MethodIndex¿SourceObjName¿IsProp -12¿10¿PDG¿SO¿*¿¿¿¿¿¿¿¿false -13¿10¿PDG¿DEP¿¿¿¿¿¿¿¿¿false -8¿10¿PDG¿DEP¿¿¿¿¿¿¿¿¿false -2¿4¿PDG¿TAINT¿¿¿¿¿¿¿¿¿false -2¿5¿PDG¿TAINT¿¿¿¿¿¿¿¿¿false -2¿6¿PDG¿TAINT¿¿¿¿¿¿¿¿¿false -2¿7¿PDG¿TAINT¿¿¿¿¿¿¿¿¿false -2¿8¿PDG¿TAINT¿¿¿¿¿¿¿¿¿false -5¿11¿PDG¿SO¿*¿¿¿¿¿¿¿¿false -11¿12¿PDG¿NV¿*¿¿¿¿¿¿¿¿false -7¿12¿PDG¿DEP¿¿¿¿¿¿¿¿¿false -3¿9¿PDG¿DEP¿¿¿¿¿¿¿¿¿false -3¿4¿REF¿param¿¿¿this¿¿¿¿¿¿false -3¿5¿REF¿param¿¿¿0¿¿¿¿¿¿false -3¿6¿REF¿param¿¿¿1¿¿¿¿¿¿false -3¿7¿REF¿param¿¿¿2¿¿¿¿¿¿false -3¿8¿REF¿param¿¿¿3¿¿¿¿¿¿false -6¿11¿PDG¿DEP¿¿¿¿¿¿¿¿¿false diff --git a/lib/auxiliary/file_system.ml b/lib/setup/file_system.ml similarity index 100% rename from lib/auxiliary/file_system.ml rename to lib/setup/file_system.ml diff --git a/lib/auxiliary/js_parser.ml b/lib/setup/js_parser.ml similarity index 100% rename from lib/auxiliary/js_parser.ml rename to lib/setup/js_parser.ml