BF Welcome!
Browse Info
BF Welcome!
Models
BF Vulnerability State Model
BF Vulnerability Specification Model
Formalism
BF Concepts
BF Formal Language
BF Taxonomy APIs
BF _INP API
BF _MEM API
BF _DAT API
BF Weakness APIs
BF Safety Rules API
BF Relations API
BF Transitions API
BF Vulnerability APIs
BF Validate-Verify API
BF VUL Description API
BF VULs Types API
BF VUL Graphs API
BF Backward API
BF Specification APIs
BF CWEs API
BF VULs API
BF CVEs Partial API
BF GUI Tool
BF Tool Download
BF Tool Examples
BF Tool Help
Why BF
BF Impact
Background
Organizational Structures
Other Classifications
Publications
Contact
Taxonomy
Overview
_INP
Model
DVL
DVR
CWE2BF
_MEM
Model
MAD
MMN
MUS
CWE2BF
_DAT
Model
DCL
NRS
TCM
TCV
CWE2BF
BF CVE
Overview
CVE-2004-1287
CVE-2006-2362
CVE-2007-1320
CVE-2007-6429
CVE-2008-4539
CVE-2011-4097
CVE-2013-4930
CVE-2013-4934
CVE-2014-0160
CVE-2015-0235
CVE-2015-5221
CVE-2017-17833
CVE-2018-14557
CVE-2019-14814
CVE-2021-21834
CVE-2022-34835
CVE-2023-1283
CVE-2023-2356
CVE-2023-2564
CVE-2023-3765
CVE-2024-26148