<commit_before>
type categoryInformation = {
  name:string;
  ruleId:string;
  helpText:string;
  shortDescription:string;
  helpUri:string;
  longDescription:string;
}
let unknownRule = {
  name="Unknown";
  ruleId="GO000";
  helpText="";
  shortDescription="";
  helpUri="https://goblint.in.tum.de/home";
  longDescription="";
}

let rules = [
  {
    name="Assert";
    ruleId="GO0001";
    helpText="Assert Error";
    shortDescription="This is an internal Goblint Category";
    helpUri="https://goblint.in.tum.de/home";
    longDescription="";
  };
  {
    name="Analyzer";
    ruleId="GO0002";
    helpText="Analyzer Error";
    shortDescription="This is an internal Goblint Category";
    helpUri="https://goblint.in.tum.de/home";
    longDescription="";
  };
  {
    name="Cast";
    ruleId="GO0003";
    helpText="Cast Error";
    shortDescription="This is an internal Goblint Cast Error, most likely not indicating a problem in the analyzed program.";
    helpUri="https://goblint.in.tum.de/home";
    longDescription="";
  };
  {
    name="Deadcode";
    ruleId="GO0004";
    helpText="Deadcode";
    shortDescription="This code is never used in the program.";
    helpUri="https://goblint.in.tum.de/home";
    longDescription="";
  };
  {
    name="Race";
    ruleId="GO0005";
    helpText="A race condition";
    shortDescription="The program contains a code sequence that can run concurrently with other code, and the code sequence requires temporary, exclusive access to a shared resource, but a timing window exists in which the shared resource can be modified by another code sequence that is operating concurrently. ";
    helpUri="https://goblint.in.tum.de/home";
    longDescription="";
  };
  {
    name="Overflow";
    ruleId="GO0006";<commit_msg>Update race warning SARIF rule description to be more readable<commit_after>
type categoryInformation = {
  name:string;
  ruleId:string;
  helpText:string;
  shortDescription:string;
  helpUri:string;
  longDescription:string;
}
let unknownRule = {
  name="Unknown";
  ruleId="GO000";
  helpText="";
  shortDescription="";
  helpUri="https://goblint.in.tum.de/home";
  longDescription="";
}

let rules = [
  {
    name="Assert";
    ruleId="GO0001";
    helpText="Assert Error";
    shortDescription="This is an internal Goblint Category";
    helpUri="https://goblint.in.tum.de/home";
    longDescription="";
  };
  {
    name="Analyzer";
    ruleId="GO0002";
    helpText="Analyzer Error";
    shortDescription="This is an internal Goblint Category";
    helpUri="https://goblint.in.tum.de/home";
    longDescription="";
  };
  {
    name="Cast";
    ruleId="GO0003";
    helpText="Cast Error";
    shortDescription="This is an internal Goblint Cast Error, most likely not indicating a problem in the analyzed program.";
    helpUri="https://goblint.in.tum.de/home";
    longDescription="";
  };
  {
    name="Deadcode";
    ruleId="GO0004";
    helpText="Deadcode";
    shortDescription="This code is never used in the program.";
    helpUri="https://goblint.in.tum.de/home";
    longDescription="";
  };
  {
    name="Race";
    ruleId="GO0005";
    helpText="Concurrent Execution using Shared Resource with Improper Synchronization";
    shortDescription="Race Condition";
    helpUri="https://goblint.in.tum.de/home";
    longDescription="The program contains a code sequence that can run concurrently with other code, and the code sequence requires temporary, exclusive access to a shared resource, but a timing window exists in which the shared resource can be modified by another code sequence that is operating concurrently.";
  };
  {
    name="Overflow";
    ruleId="GO0006";
{'fraction_non_alphanumeric': 0.13121924548933844, 'fraction_numerical': 0.014762165117550574, 'mean_word_length': 3.885180240320427, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 12, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '4496549', 'n_tokens_mistral': 1152, 'n_tokens_neox': 1088, 'n_words': 282}