Deliverables
Project Website
Static call graph for C code, Java code and Python code - intermediate version
Evaluate and report on the work done and the progress of the FASTEN project after 18 months according to the procedures defined in D6.1 and KPIs provided by D6.2.
Procedures and practices for validation
Specifications for the call graph storage format - Final version
Comparative studies of algorithms and heuristics for reachability on the call graphs
Specifications for the call graph storage format
Specifications for the FASTEN service plug-ins.
FASTEN project handbook
A survey of property propagation and aggregation approaches
Graph schema and its representation
Code sourcing process
Proposed model for quality and risk propagation & aggregation
Searching for OpenAIRE data...
Publications
Author(s): Stefanos Chaliasos, George Metaxopoulos, George Argyros, Dimitris Mitropoulos
Published in: Computer Security – ESORICS 2019 - 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part II, Issue 11736, 2019, Page(s) 565-585
DOI: 10.1007/978-3-030-29962-0_27
Author(s): Antoine Pietri, Diomidis Spinellis, Stefano Zacchiroli
Published in: 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR), 2019, Page(s) 138-142
DOI: 10.1109/msr.2019.00030
Author(s): Dimitris Mitropoulos, Panos Louridas, Vitalis Salis, Diomidis Spinellis
Published in: 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR), 2019, Page(s) 126-137
DOI: 10.1109/msr.2019.00029
Author(s): Zoe Kotti, Diomidis Spinellis
Published in: 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR), 2019, Page(s) 565-576
DOI: 10.1109/msr.2019.00085
