IR-based guards library#197

Merged

jbj merged 16 commits intogithub:masterfrom

rdmarsh2:rdmarsh/cpp/ir-guards

Sep 28, 2018

Commits on Sep 20, 2018

C++: add RelationalOpcode and RelationalInstruction
Robert Marsh
committed
C++: add isStrict to RelationalInstruction
Robert Marsh
committed
C++: Add IR-based port of Guards library
Robert Marsh
committed
C++: accept test output and add IR guards tests
Robert Marsh
committed
C++: make internal classes private
Robert Marsh
committed
C++: comments on new classes and predicates
Robert Marsh
committed
C++: Add class and predicates to other IR stages
Robert Marsh
committed
C++: document new IR class and predicates
Robert Marsh
committed
C++: improve conversion handling in IRGuards.qll
Robert Marsh
committed
C++: remove abstract classes in IR
Robert Marsh
committed
C++: add isReachableFromFunctionEntry
Robert Marsh
committed
C++: handle conversions in IR to AST translation
Robert Marsh
committed
C++: fix comment
Robert Marsh
committed

Commits on Sep 27, 2018

C++: test changes from previous commit
Robert Marsh
committed
C++: Fix BinaryLogicalOperators always being guards
Robert Marsh
committed
C++: Combine IR guard tests into one ql file
Robert Marsh
committed