Our analysis is currently handcrafted; an automated analysis would probably require us to work with a superset of reachable states. These systems are mainly based on handcrafted rules. More @Wikipedia
Hover over any link to get a description of the article. Please note that search keywords are sometimes hidden within the full article and don't appear in the description or title.