BF Parser API
Irena Bojanova, Inventor/Creator, PI & Lead, NIST Bugs Framework (BF), 2014 – ~~~ #

The BF Parser API provides performs Validation and Verification of BF Specifications in .bfv, .bfvul, and .bff formats. It is also incorporated in the BF GUI Tool.

• UI → Key required:

  https://samate.nist.gov/services/BF/BFFormalLanguage/BFParser?key=YOUR_KEY
  

• API → Key required:
  

  C#

  HttpClient client = new HttpClient() { BaseAddress = new Uri("https://samate.nist.gov/services/BF") };
  
  //replace YOUR_USER_NAME and YOUR_KEY
  client.DefaultRequestHeaders.Add("user", YOUR_USER_NAME);
  client.DefaultRequestHeaders.Add("key", YOUR_KEY);
  
  using var content = new MultipartFormDataContent();
  // loop over your .bfv files --> fileName
    var file = new StreamContent(File.OpenRead(fileName));
    content.Add(file, "files", Path.GetFileName(fileName));      
  
  using var response = await client.PostAsync("BFFormalLanguage/BFParser/api", content);        
  response.EnsureSuccessStatusCode();
  var result = bool.Parse(await response.Content.ReadAsStringAsync());
  

  Python

  //to be added//

BF CITATION:
Bojanova I (2024) Bugs Framework (BF): Formalizing Cybersecurity Weaknesses and Vulnerabilities. (National Institute of Standards and Technology, Gaithersburg, MD), NIST Special Publication (SP), NIST SP 800-231. https://doi.org/10.6028/NIST.SP.800-231