Blame README.md

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/>.