Infer documentation v2#18

Open

OzanAlpay wants to merge 4 commits intobulwahn:masterfrom

OzanAlpay:infer-documentation-v2

Commits on Jul 6, 2018

Docker files created in order to run infer analyze on Linux-Kernel on Docker containers.
OzanAlpay
committed
Analyse-kernel.sh script created in order to automatize running different infer versions on varied linux-kernel versions and configurations.
OzanAlpay
committed
Infer Results added for various kernel configurations and versions and grouped according to infer versions. Since Infer-Analyze is failed for infer-v4.16 maximalyesconfig with infer0150, Failure re…
OzanAlpay
committed
After analyzing infer issues, and finding false-positive issues. Some mock-code examples created to understand why infer created false-positive issues.
OzanAlpay
committed