Here is a list of all related symbols with links to the classes they belong to:

- f -

• FlowSensitiveStat : SVF::FlowSensitive
• FunObjVar : SVF::SVFBasicBlock