How lucamigliaccio25/sw_security_project works
This repository is an experimental-analysis project, not the FlashSyn implementation itself. Its main workflow is to compare FlashSyn benchmark logs and report profit, timing, and solving metrics across RQ1 variants and RQ2. A separate documented capability classifies detected vulnerabilities against CWE/CVE standards; the tree includes classification spreadsheets, but the sampled source does not show how they are produced. The graph therefore limits source-backed relationships to the benchmark scripts’ log-reading behavior and marks the classification connection unverified.
Main entry points: RQ1_CheeseBank.py RQ1 CheeseBank · RQ1_test1.py RQ1 Test 1 · RQ1_test2.py RQ1 Test 2 · RQ2_test1.py RQ2 Test 1
Components 8
Experiment analysis
- RQ1 CheeseBank
script test/RQ1_CheeseBank.py - RQ1 Test 1
script test/RQ1_test1.py - RQ1 Test 2
script test/RQ1_test2.py - RQ2 Test 1
script test/RQ2_test1.py - Experiment metrics
Vulnerability classification
- CWE/CVE results
Risultati CVE-CWE/Risultati_con_classificazione_CWE.csv - CVE analysis
Risultati CVE-CWE/Analisi_FlashSyn.csv
Other components
- Researcher
Connections 10
- Researcher → RQ1 CheeseBank: runs
script test/RQ1_CheeseBank.py - Researcher → RQ1 Test 1: runs
script test/RQ1_test1.py - Researcher → RQ1 Test 2: runs
script test/RQ1_test2.py - Researcher → RQ2 Test 1: runs
script test/RQ2_test1.py - RQ1 CheeseBank → Experiment metrics: reports metrics
script test/RQ1_CheeseBank.py - RQ1 Test 1 → Experiment metrics: reports metrics
script test/RQ1_test1.py - RQ1 Test 2 → Experiment metrics: reports metrics
script test/RQ1_test2.py - RQ2 Test 1 → Experiment metrics: reports profit
script test/RQ2_test1.py - Experiment metrics → CWE/CVE results: informs classification
- CWE/CVE results → CVE analysis: supports analysis