System for detecting source code security flaws through analysis of code history Grant US-10084819-B1 United States of America 25 Sep 2018
System for information flow security inference through program slicing Grant US-9378377-B1 United States of America 28 Jun 2016