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
BF Tool APP
BF GUI Tool
BFVUL Examples
BF Tool Guide
BFVUL APIs
BFVULs (BVCVEs) API
BFVUL Files API
BFVUL Graphs API
BFVUL Types API
BFVUL Description API
BFVUL Backward API
BFCVEPre APIs
BFCVEs Pre API
BFInjectionCVEs Pre API
BFCWE APIs
BFCWEs API
BFCWE Files API
BFCWE Types API
BFCWE Graphs API
CWE2BF Graphs 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