BF Welcome!
Browse Info
BF Welcome!
Models
BF Concepts
BF Concepts Bottom-Up
BF Vulnerability State Model
BF Vulnerability Specification Model
Formalism
BF Concepts Formalized
BF Formal Grammar
BF Formal Language
Tools
BF Tool
BFCWE Tool
BFCVE Tool
APIs
BF API
BF Backwards API
BFCWE API
BFCVE API
BFVul API
Approach
BF Approach
BF Methodology
Why BF?
BF Impact
Background
Organizational Structures
Other Classifications
Publications
Contact
GitHub
Taxonomy
Overview
_INP
Bugs Model
DVL
DVR
CWE2BF
_DAT
Bugs Model
DCL
NRS
TCM
TCV
CWE2BF
_MEM
Bugs Model
MAD
MMN
MUS
CWE2BF
_CDS
Bugs Model
CPH
DSV
KMN
CWE2BF
BF CVE
Overview
CVE-2013-4934
CVE-2014-0160
CVE-2015-0235
CVE-2017-17833
CVE-2018-14557
CVE-2019-14814
BF CVE x
Overview
CVE-2004-1287
CVE-2006-2362
CVE-2007-1320
CVE-2007-6429
CVE-2008-4539
CVE-2011-4097
CVE-2013-4930
CVE-2015-5221
CVE-2021-21834
CVE-2022-34835
CVE-2023-1283
CVE-2023-2356
CVE-2023-2564
CVE-2023-3765
Challenges
Overview
CWE2BF
BF Bug Detection
BFCVE
Overview
_INP BFCVE
_MEM BFCVE
BFAI
BFVul API
Irena Bojanova, PI & Lead, NIST Bugs Framework (BF), 2014 – ~~~~
#
//to be added//