|
Athos Ribeiro |
2e999f5 |
# kiskadee
|
|
Athos Ribeiro |
2e999f5 |
|
|
Athos Ribeiro |
5e26897 |
kiskadee is a continuous static analysis tool which writes the analysis
|
|
Athos Ribeiro |
5e26897 |
results into a
|
|
Athos Ribeiro |
5e26897 |
[firehose](https://github.com/fedora-static-analysis/firehose)
|
|
|
b81b35d |
database.
|
|
|
345cb56 |
|
|
Athos Ribeiro |
5e26897 |
## Documentation
|
|
|
56599a4 |
|
|
Athos Ribeiro |
5e26897 |
For more information on the project, installation or development
|
|
Athos Ribeiro |
5e26897 |
environment setup, refer to the full [kiskadee
|
|
Athos Ribeiro |
294c670 |
documentation](https://docs.pagure.org/kiskadee).
|
|
|
56599a4 |
|
|
Athos Ribeiro |
9455806 |
There is an academic paper describing our work torwards ranking static analysis
|
|
Athos Ribeiro |
9455806 |
warnings, available
|
|
Athos Ribeiro |
9455806 |
[here](https://link.springer.com/chapter/10.1007/978-3-319-92375-8_8).
|
|
Athos Ribeiro |
9455806 |
|
|
|
8f0ba69 |
To build the documentation locally:
|
|
|
8f0ba69 |
|
|
|
1a3eeb1 |
pip install -U sphinx sphinx\_rtd\_theme
|
|
|
1a3eeb1 |
cd doc
|
|
|
1a3eeb1 |
make html
|
|
|
8f0ba69 |
|
|
|
8f0ba69 |
Open the index.html file, inside the _build/html directory.
|
|
|
8f0ba69 |
|
|
|
345cb56 |
## Repositories
|
|
|
ddfcf26 |
|
|
Athos Ribeiro |
5e26897 |
kiskadee core and API development are hosted at [pagure](https://pagure.io/kiskadee).
|
|
|
56599a4 |
|
|
Athos Ribeiro |
df27bd0 |
kiskadee frontend is hosted at [pagure](https://pagure.io/kiskadee/kiskadee_ui).
|
|
|
6079ad1 |
|
|
Athos Ribeiro |
5e26897 |
We maintain mirrors on [gitlab](https://gitlab.com/kiskadee/kiskadee)
|
|
Athos Ribeiro |
5e26897 |
and [github](https://github.com/LSS-USP/kiskadee) since earlier
|
|
Athos Ribeiro |
5e26897 |
development used both at some point for CI purposes. **Do not open
|
|
Athos Ribeiro |
5e26897 |
issues or pull requests on these mirrors**.
|
|
|
6079ad1 |
|
|
Athos Ribeiro |
5e26897 |
kiskadee have a CI environment hosted at this
|
|
Athos Ribeiro |
5e26897 |
[url](http://143.107.45.126:30130/blue/organizations/jenkins/LSS-USP%2Fkiskadee/activity).
|
|
|
6079ad1 |
|
|
Athos Ribeiro |
9007054 |
## Ranking experiments
|
|
Athos Ribeiro |
9007054 |
|
|
Athos Ribeiro |
9007054 |
Data and information on ranking experiments for kiskadee's ranking module are
|
|
Athos Ribeiro |
eb09751 |
available [here](https://gitlab.com/ccsl-usp/kiskadee-ranking-data).
|
|
Athos Ribeiro |
9007054 |
|
|
Athos Ribeiro |
5e26897 |
## Communication
|
|
|
6079ad1 |
|
|
Athos Ribeiro |
307d9d3 |
Join us on IRC: #kiskadee @ freenode
|
|
|
357fac3 |
|
|
Athos Ribeiro |
de691b9 |
Mailing list: `kiskadee@googlegroups.com`
|
|
Athos Ribeiro |
de691b9 |
|
|
Athos Ribeiro |
de691b9 |
You can subscribe to our mailing lists by sending an email to
|
|
Athos Ribeiro |
de691b9 |
`kiskadee+subscribe@googlegroups.com`.
|
|
Athos Ribeiro |
de691b9 |
|
|
|
357fac3 |
## License
|
|
Athos Ribeiro |
c6039f5 |
Copyright (C) 2017 the AUTHORS (see the AUTHORS file)
|
|
Athos Ribeiro |
c58fbc1 |
|
|
Athos Ribeiro |
c58fbc1 |
This program is free software: you can redistribute it and/or modify
|
|
Athos Ribeiro |
05b6252 |
it under the terms of the GNU Affero General Public License as
|
|
Athos Ribeiro |
05b6252 |
published by the Free Software Foundation, either version 3 of the
|
|
Athos Ribeiro |
05b6252 |
License, or (at your option) any later version.
|
|
Athos Ribeiro |
c58fbc1 |
|
|
Athos Ribeiro |
c58fbc1 |
This program is distributed in the hope that it will be useful,
|
|
Athos Ribeiro |
c58fbc1 |
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
Athos Ribeiro |
c58fbc1 |
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
Athos Ribeiro |
05b6252 |
GNU Affero General Public License for more details.
|
|
Athos Ribeiro |
c58fbc1 |
|
|
Athos Ribeiro |
05b6252 |
You should have received a copy of the GNU Affero General Public License
|
|
Athos Ribeiro |
c58fbc1 |
along with this program. If not, see <http://www.gnu.org/licenses/>.
|