Commits · eb862a5a90140bf884e38e7aa5bde99bb0193ce0 · pub / frama-c · GitLab

Snippets Groups Projects

Oct 30, 2019
- [mdr] prepare merge of the two Markdown libraries · eb862a5a
  Virgile Prevosto authored 5 years ago
  
  eb862a5a
- [mdr] fixes missing PLUGIN_DIR prefixes · 2ae3b763
  Virgile Prevosto authored 5 years ago
  
  2ae3b763
- version bump · f0016f56
  Virgile Prevosto authored 5 years ago
  
  f0016f56
- [sarif] more accurate command line in presence of -load · e7387d7b
  Virgile Prevosto authored 5 years ago
  
  e7387d7b
- [sarif] add user-spec rule · 27a21c2f
  Virgile Prevosto authored 5 years ago
  
  27a21c2f
- [sarif] give each alarm kind a rule entry in the generated sarif document · 21dd0939
  Virgile Prevosto authored 5 years ago
  
  21dd0939
- [sarif] Use status of alarm instead of always treating them as warning · 68370cc7
  Virgile Prevosto authored 5 years ago
  
  68370cc7
- [sarif] Enforce validator "everything must end with a ., not .\n" constraint · f7dd3f64
  Virgile Prevosto authored 5 years ago
  
  f7dd3f64
- [sarif] Enforce compatibility with online validator · db63b5b0
  Virgile Prevosto authored 5 years ago
  
  db63b5b0
- [sarif] update reference URL for schema · 0a2f8144
  Virgile Prevosto authored 5 years ago
  
  0a2f8144
- [sarif] add statuses of properties to the sarif output · dff513ae
  Virgile Prevosto authored 5 years ago
  
  dff513ae
- add proprietary license · ba1ea501
  Virgile Prevosto authored 6 years ago
  
  ba1ea501
- example · 9a114edf
  Virgile Prevosto authored 6 years ago
  
  9a114edf
- [sarif] generate information about input files · 97784ac9
  Virgile Prevosto authored 6 years ago
  
  97784ac9
- Update README and mention generation of sarif documents · 3e0a66ab
  Virgile Prevosto authored 6 years ago
  
  3e0a66ab
- [markdown] do not end a document with double newline · b1aaed2f
  Virgile Prevosto authored 6 years ago
  
  Sarif validator insists that its messages end with a full stop.
  b1aaed2f
- [sarif] don't use sum types to represent schema's enum · 783f4973
  Virgile Prevosto authored 6 years ago
  
  yojson generates an array with one element instead of a plain string.
  783f4973
- [sarif] Do not use `byteOffset`: it is meaningless in presence of include · 90677088
  Virgile Prevosto authored 6 years ago
  
  As Frama-C parses preprocessed files, `pos_cnum` field of a position indicates the total number of bytes seen in the expansion of included files...
  90677088
- Use proper option names for arguments of `Dynamic.Parameter.*.get` · 5211cbf0
  Virgile Prevosto authored 6 years ago
  
  It appears that the alias mechanism does not inform `Dynamic` of the aliases
  5211cbf0
- [sarif] Minimal generation of a sarif object + introducing mdr_register.ml · 246282e2
  Virgile Prevosto authored 6 years ago
  
  246282e2
- [sarif] slightly more json generated · 5104d394
  Virgile Prevosto authored 6 years ago
  
  5104d394
- A version for MdR · 596e38e8
  Virgile Prevosto authored 6 years ago
  
  596e38e8
- [sarif] skeleton of sarif object generated · cce26385
  Virgile Prevosto authored 6 years ago
  
  cce26385
- Refactor cmdline options that decide what kind of output should be generated · 8c1b25ab
  Virgile Prevosto authored 6 years ago
  
  8c1b25ab
- [sarif] proper handling of dictionaries + more regular structure · 1758b331
  Virgile Prevosto authored 6 years ago
  
  1758b331
- [sarif] prepare proper handling of dictionaries · 57b6c657
  Virgile Prevosto authored 6 years ago
  
  57b6c657
- [sarif] initial version of the sarif schema implementation · ccea170c
  Virgile Prevosto authored 6 years ago
  
  ccea170c
- Start investigating sarif support · 18b86fad
  Virgile Prevosto authored 6 years ago
  
  18b86fad
- update to changes in kernel API · 83fcd38f
  Virgile Prevosto authored 6 years ago
  
  83fcd38f
- [output] work around a pandoc/latex issue over anchors' names · 7bfe9929
  Virgile Prevosto authored 6 years ago
  
  7bfe9929
- [remarks] remove blank lines at beginning/end of remarks · 34619b9f
  Virgile Prevosto authored 6 years ago
  
  34619b9f
- [draft] keep remarks between two runs in draft mode + remark on stub section · e3620d0e
  Virgile Prevosto authored 6 years ago
  
  still TODO: allows grouping stubs into categories of related functions
  e3620d0e
- [stubs] normalize filenames for stub files. · 8a2779bb
  Virgile Prevosto authored 6 years ago
  
  8a2779bb
- add acsl.xml for pandoc highlighting + better Makefile · b73e5ae2
  Virgile Prevosto authored 7 years ago
  
  b73e5ae2
- fixes function calls computation in eva coverage · 741564aa
  Virgile Prevosto authored 7 years ago
  
  741564aa
- style · 49e90e02
  Virgile Prevosto authored 7 years ago
  
  49e90e02
- Don't forget to add remarks over stub functions in the final document · e02997ec
  Virgile Prevosto authored 7 years ago
  
  e02997ec
- Fixes typo · ba13a79f
  Virgile Prevosto authored 7 years ago
  
  ba13a79f
- Fix regex (and other bugs) for parsing remarks · 535fa718
  Virgile Prevosto authored 7 years ago
  
  535fa718
- Debug info when parsing remark files · 6d6d8831
  Virgile Prevosto authored 7 years ago
  
  6d6d8831