BF Welcome!
Browse Info
BF Welcome!
BF Formalism
BF Concepts
BF Features
BF Vulnerability State Model
BF Vulnerability Specification Model
BF Formal Language
BF Tool APIs
BF GUI Tool API
BF Examples API
BF Tool Guide
BFVUL APIs
BFVULs (BVCVEs) API
BFVUL Files API
BFVUL Graphs API
BFVUL Types API
BF Description API
BF Backward API
BFCVEPre APIs
BFCVEs Pre API
BFInjectionCVEs Pre API
BFCWE APIs
BFCWEs API
CWE2BF Graphs API
BFCWE Types API
BF Security APIs
BF Security Rules API
BF Security Rules CWE API
BF Taxonomy APIs
BF _INP Graph API
BF _MEM Graph API
BF _DAT Graph API
BF Taxons API
BF Taxonomy API
BF Formal Language APIs
BF Parser API
BF LL1 ACFG API
BF Relations API
BF BFTransitions API
BF Operations Flow API
Background
Organizational Structures
Other Classifications
Why BF
BF Expressive Power
BF Impact
Publications
Contact
Taxonomy
Overview
_INP
Model
DVL
DVR
CWE2BF
_MEM
Model
MAD
MMN
MUS
CWE2BF
_DAT
Model
DCL
NRS
TCM
TCV
CWE2BF
BFVUL/BFCVE
Overview
BFCVE-2004-1287
BFCVE-2006-2362
BFCVE-2007-6429
BFCVE-2008-4539
BFCVE-2013-4934
BFCVE-2015-0235
BFCVE-2015-5221
BFCVE-2017-17833
BFCVE-2018-14557
BFCVE-2019-14814
BFCVE-2021-21834
BFCVE-2022-34835
BFCVE-2023-1283
BFCVE-2023-2356
BFCVE-2023-2564
BFCVE-2023-3765
BFCVE-2024-26148
BFVUL-CWE-468-Example-1