tudelft-cda-lab/SAGE

Unable to generate Attack Graph, FlexFringe Error: Incorrectly specified number of symbols in trace

faheemkhaskheli9 opened this issue · 1 comments

I tried the default dataset, but none worked using default parameters. I tried changing number of symbols in "sage.py" in flexfringe function.

Output Logs

flexfringe.log
exp-ccdc.txt
exp-2018.txt
exp-2017.txt

------ Reading alerts ------
About to read json files...
Reading # alerts:  4274
Filtered # alerts (remaining): 4183
Reading # alerts:  8413
Filtered # alerts (remaining): 7485
Reading # alerts:  2233
Filtered # alerts (remaining): 2199
Reading # alerts:  4712
Filtered # alerts (remaining): 4220
Reading # alerts:  2923
Filtered # alerts (remaining): 2904
Reading # alerts:  7801
Filtered # alerts (remaining): 7232
Reading # alerts:  1912
Filtered # alerts (remaining): 1890
Reading # alerts:  3353
Filtered # alerts (remaining): 3293
Reading # alerts:  7150
Filtered # alerts (remaining): 4944
Reading # alerts:  5105
Filtered # alerts (remaining): 4949
------ Converting to episodes ------
---------------- TEAMS -------------------------
0 1 2 3 4 5 6 7 8 9 
------ Converting to episode sequences ------
# teams: 10
----- TEAMS -----
0 1 2 3 4 5 6 7 8 9 
# episode sequences: 61
------ Breaking into sub-sequences and generating traces ------
----- Sub-sequences -----
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 
# sub-sequences: 2339

# episode traces: 1102
------ Learning S-PDFA ------
-6 Using heuristic alergia
Using input file: exp-2017.txt
 terminate called after throwing an instance of 'std::runtime_error'
  what():  Error parsing abbadingo input: line 2 - Incorrectly specified number of symbols in trace

Loguru caught a signal: SIGABRT

Error: dot: can't open exp-2017.txt.ff.final.dot
------ !! Special: Fixing syntax error in main model and sink files ------
--- Sinks
Traceback (most recent call last):
  File "/home/faheem/projects/SAGE/sage.py", line 328, in <module>
    with open(path_to_traces + ".ff.finalsinks.json", 'r') as file:
FileNotFoundError: [Errno 2] No such file or directory: 'exp-2017.txt.ff.finalsinks.json'

The issue is in the latest build of flexfringe. Checkout the flexfringe commit with id a39cd54, recompile flexfringe, and it should all work well.