C# (CSharp) SolToBoogie FunctionCallHelper.IsKeccakFunc Examples

Example #1

File: FunctionDependencyCollector.cs Project: utopia-group/verisol

 private bool isBuiltinFn(FunctionCall call)
 {
     return(FunctionCallHelper.IsLowLevelCall(call) || FunctionCallHelper.isSend(call) ||
            FunctionCallHelper.IsAssert(call) || FunctionCallHelper.isDelegateCall(call) ||
            FunctionCallHelper.IsRequire(call) || FunctionCallHelper.IsRevert(call) ||
            FunctionCallHelper.IsKeccakFunc(call) || FunctionCallHelper.IsAbiEncodePackedFunc(call) ||
            FunctionCallHelper.IsTypeCast(call) || FunctionCallHelper.IsBuiltInTransferFunc(TransUtils.GetFuncNameFromFuncCall(call), call));
 }