- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

Too long file (1000000+ bytes)
6 files:

docs/verifier/chap1.eps
docs/verifier/exframe.eps
docs/verifier/GUI1.eps
docs/verifier/GUI2.eps
docs/verifier/VerificationAPI.eps
git-history.txt
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Documentation
path like ".*/docs/.*"
5 files:

docs/verifier/classfile.eps
docs/verifier/V_API_SD.eps
docs/verifier/VennDiag.eps
docs/verifier/justicecfg.eps
docs/manual.bib
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Hidden files and folders
path like ".*/[.][a-zA-Z0-9_]+.*"
4 files:

.github/GH-ROBOTS.txt
.github/pull_request_template.md
.gitignore
.asf.yaml
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

Too long lines (1000+ characters)
1 files:

docs/verifier/conventcfg.eps
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -