implemented various analyses, still have to abstract into a monotone framework

Signed-off-by: Pepijn Kokke <pepijn.kokke@gmail.com>