public override void Bad() { /* FLAW: always evaluates to true */ Random random = new Random(); RNGCryptoServiceProvider rngCsp = new RNGCryptoServiceProvider(); if (!(random.GetType() == rngCsp.GetType())) { IO.WriteLine("always prints"); } }
public override void Bad() { /* FLAW: always evaluates to true */ Random random = new Random(); RNGCryptoServiceProvider rngCsp = new RNGCryptoServiceProvider(); if (!(random.GetType() == rngCsp.GetType())) { IO.WriteLine("always prints"); } }