coolhill

Results 4 issues of coolhill

README is not correctly rendered on PyPi

### Describe the desired feature The description on https://pypi.org/project/slither-analyzer/ is not being rendered as markdown. Add the line `long_description_content_type="text/markdown",` to the `setup.py` for it to render correctly in future releases.

enhancement
good first issue

Add Amarna and Tayt

Add Amarna static analyzer and Tayt StarkNet smart contract fuzzer by Trail of Bits ## Checklist - [x] The URL is not already present in the list (check with CTRL/CMD+F...

[config] Add severity mappings for Cppcheck

4 comment

This is needed in order to sort and visualize Cppcheck results by severity when converted(report-converter) and stored into a codechecker database.

analyzer :chart_with_upwards_trend:
config :gear:
other-analyzer :speech_balloon:
cppcheck 🐞

Solve for recursive imports

Multiple detectors built with ImportGatherer does not solve correctly for recursive imports, as pointed out https://github.com/crytic/amarna/pull/16#issuecomment-1160767665 - Solution can mimic compiler behaviour, [ref](https://github.com/starkware-libs/cairo-lang/blob/b614d1867c64f3fb2cf4a4879348cfcf87c3a5a7/src/starkware/cairo/lang/compiler/import_loader.py#L14)

enhancement