Commits · 84f54ed0c7e50cd596ae4b87eb090e4474e96c51 · pub / frama-c · GitLab

19 Oct, 2020 1 commit
- [Markdown-report] pretty-print paths and add baseUris · 84f54ed0
  Andre Maroneze authored Oct 08, 2020
  
  84f54ed0
28 Aug, 2020 1 commit
- sample program results passes Sarif 2.1.0 validation · 726be74c
  Virgile Prevosto authored Aug 28, 2020
  
  726be74c
27 Aug, 2020 5 commits
- [sarif] continue upgrade to SARIF 2.1 · 9890f9d7
  Virgile Prevosto authored Jul 28, 2020
  
  9890f9d7
- [sarif] on the road to sarif 2.1.0 migration · dd888597
  Virgile Prevosto authored Jul 22, 2020
  
  dd888597
- [MdR] update to SARIF 2.1.0 · eeef90a4
  Andre Maroneze authored Jul 15, 2020
  
  eeef90a4
- [MdR] do not emit location in SARIF if unknown · 446b2246
  Andre Maroneze authored Jul 16, 2020
  
  446b2246
- [MdR] fix minor typos in SARIF output · 52d32d5c
  Andre Maroneze authored Jul 15, 2020
  
  52d32d5c
13 Mar, 2020 1 commit
- [config] change name of config.ml to avoid clash with compiler internal lib · aedae7e6
  Virgile Prevosto authored Mar 05, 2020
  
  aedae7e6
06 Mar, 2020 1 commit
- update copyright to 2020 · 325661e6
  Andre Maroneze authored Mar 05, 2020
  
  325661e6
18 Dec, 2019 1 commit
- Make frama-c typecheck, and pass the basic tests. · c377a505
  Michele Alberti authored Dec 17, 2019
  
  c377a505
30 Oct, 2019 21 commits
- [mdr] clean up plug-in name · b2071cb8
  Virgile Prevosto authored Oct 30, 2019
  
  b2071cb8
- [markdown] refactor codeblock smart-constructor · b114f58d
  Loïc Correnson authored Oct 28, 2019
  
  b114f58d
- [mdr] more verbose & robustified channel closing · d410b6f5
  Loïc Correnson authored Oct 25, 2019
  
  d410b6f5
- [markdown] smart constructors · 575340fb
  Loïc Correnson authored Oct 24, 2019
  
  575340fb
- [lib] relativize Page and Section link when pp markdown documents · 5069a8b4
  Virgile Prevosto authored Oct 22, 2019
  
  5069a8b4
- [headers] add headers for mdr files and new markdown module · 838b709a
  Virgile Prevosto authored Oct 22, 2019
  
  838b709a
- [lint] fix indentation · 677941ae
  Virgile Prevosto authored Oct 22, 2019
  
  677941ae
- [library] Promote MdR markdown module as the main Frama-C markdown lib · eb6f852a
  Virgile Prevosto authored Oct 22, 2019
  
  eb6f852a
- [sarif] more accurate command line in presence of -load · e7387d7b
  Virgile Prevosto authored Aug 08, 2019
  
  e7387d7b
- [sarif] add user-spec rule · 27a21c2f
  Virgile Prevosto authored Aug 08, 2019
  
  27a21c2f
- [sarif] give each alarm kind a rule entry in the generated sarif document · 21dd0939
  Virgile Prevosto authored Aug 08, 2019
  
  21dd0939
- [sarif] Use status of alarm instead of always treating them as warning · 68370cc7
  Virgile Prevosto authored Aug 07, 2019
  
  68370cc7
- [sarif] Enforce validator "everything must end with a ., not .\n" constraint · f7dd3f64
  Virgile Prevosto authored Aug 07, 2019
  
  f7dd3f64
- [sarif] Enforce compatibility with online validator · db63b5b0
  Virgile Prevosto authored Aug 07, 2019
  
  db63b5b0
- [sarif] add statuses of properties to the sarif output · dff513ae
  Virgile Prevosto authored Aug 07, 2019
  
  dff513ae
- [sarif] generate information about input files · 97784ac9
  Virgile Prevosto authored Dec 17, 2018
  
  97784ac9
- [sarif] don't use sum types to represent schema's enum · 783f4973
  Virgile Prevosto authored Dec 13, 2018
```
yojson generates an array with one element instead of a plain string.
```
  783f4973
- [sarif] Minimal generation of a sarif object + introducing mdr_register.ml · 246282e2
  Virgile Prevosto authored Dec 13, 2018
  
  246282e2
- [sarif] slightly more json generated · 5104d394
  Virgile Prevosto authored Dec 11, 2018
  
  5104d394
- [sarif] skeleton of sarif object generated · cce26385
  Virgile Prevosto authored Dec 10, 2018
  
  cce26385
- Refactor cmdline options that decide what kind of output should be generated · 8c1b25ab
  Virgile Prevosto authored Dec 10, 2018
  
  8c1b25ab