]> git.ipfire.org Git - thirdparty/freeradius-server.git/commit
projects / thirdparty / freeradius-server.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4374c9d) | patch
Start using modeling for Coverity (#4853)
authorJames Jones <jejones3141@gmail.com>
Tue, 31 Jan 2023 15:03:30 +0000 (09:03 -0600)
committerGitHub <noreply@github.com>
Tue, 31 Jan 2023 15:03:30 +0000 (10:03 -0500)
commit1f75f9495ddf403b4dd35fbda1b093a8ea6f67ff
tree8a817772c3a6961441b490a76033706ce19a391dtree | snapshot
parent4374c9d92d3d74286129868751763b4800b9b70fcommit | diff
Start using modeling for Coverity (#4853)

This involves
* making the coverity workflow build the model
* adding model source file(s)
.github/workflows/coverity.yml diff | blob | blame | history
src/coverity-model/exfile.c [new file with mode: 0644] blob
src/coverity-model/pool.c [new file with mode: 0644] blob
Mirror of https://github.com/FreeRADIUS/freeradius-server.git