add XSB and PVS for FlowLog