Session HRB-Slicing

Theories

• AuxLemmas
• BasicDefs
• CFG
• CFGExit
• CFG_wf
• CFGExit_wf
• SemanticsCFG
• ReturnAndCallNodes
• Observable
• Postdomination
• SDG
• HRBSlice
• SCDObservable
• Distance
• Slice
• WeakSimulation
• FundamentalProperty
• Com
• ProcState
• PCFG
• WellFormProgs
• Interpretation
• Labels
• WellFormed
• ValidPaths
• ProcSDG
• JVMCFG
• JVMInterpretation
• JVMCFG_wf
• JVMPostdomination
• JVMSDG
• HRBSlicing