summaryrefslogblamecommitdiff
path: root/test/files/neg/sensitive.scala
blob: a084a0a8ca6d5e6992ff736164d1e1ed262853f1 (plain) (tree)
1
2
3
4
5
6
7
8
9






                                                  

                                                          








                                             
class Certificate{}

object Admin extends Certificate;

class SecurityViolationException extends Exception

object Sensitive {
  def makeSensitive(credentials: Certificate): Sensitive =
    if (credentials == Admin) new Sensitive()
    else throw new SecurityViolationException
}
class Sensitive private () {
}

object Attacker {
  val x = Sensitive.makeSensitive(null)
  val y = new Sensitive()
}