Sign in

Checking security of Java bytecode by abstract interpretation.

Roberto BarbutiCinzia BernardeschiNicoletta De Francesco
Published in: SAC (2002)
Keyphrases
  • abstract interpretation
  • termination analysis
  • java bytecode
  • static analysis
  • active rules
  • active databases
  • dynamic analysis
  • model checking
  • management system
  • general purpose
  • garbage collection
  • efficient execution