]> git.ipfire.org Git - thirdparty/freeradius-server.git/commit
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
tree8a817772c3a6961441b490a76033706ce19a391d
parent4374c9d92d3d74286129868751763b4800b9b70f
Start using modeling for Coverity (#4853)

This involves
* making the coverity workflow build the model
* adding model source file(s)
.github/workflows/coverity.yml
src/coverity-model/exfile.c [new file with mode: 0644]
src/coverity-model/pool.c [new file with mode: 0644]