digraph {
	# nodes
	201912 [label="ANSSI-CC-2019/12"] [shape=box]
	10642020 [label="BSI-DSZ-CC-1064-2020"]
	107422020 [label="BSI-DSZ-CC-1074-V2-2020"]
	0122197 [label="NSCIB-CC-0122197-CR"]
	107322020 [label="BSI-DSZ-CC-1073-V2-2020"]
	0145427 [label="NSCIB-CC-0145427-CR"]
	2223562 [label="NSCIB-CC-222356-CR2-CR"]
	0145426 [label="NSCIB-CC-0145426-CR"]
	10652020 [label="BSI-DSZ-CC-1065-2020"]
	201913 [label="ANSSI-CC-2019/13"]

	# Color meaning: Red: vulnerable path, blue: predecessor path, green: non-vulnerable path

	# edges
	10642020 -> 201912 [color=red]
	107422020 -> 201912 [color=red]
	0122197 -> 201912 [color=red]
	107322020 -> 201912 [color=red]
	0145427 -> 201912 [color=red]
	2223562 -> 201912 [color=red]
	0145426 -> 201912 [color=red]
	10652020 -> 201912 [color=red]
	201913 -> 201912 [color=blue]


}