Added an experimental security checker
Experimental checker

 #Pleasi enter the commit message for your changes. Lines starting
Merge pull request #1 from adedayo/security_analyses

An experimental branch for security-oriented static analyses