transfer
fun transfer(qualifiedFunctionName: String, from: BitcodeFunctionEndpoint, to: BitcodeFunctionEndpoint, mode: DefinitionMode = DefinitionMode.UNKNOWN, mangledSymbol: String? = null, originalCompileUnit: StigRepoFile? = null, reason: String? = null, originalSource: Any? = null, reviewStatus: BitcodeTransformReviewStatus = BitcodeTransformReviewStatus.NEW, zeroInitializeReturn: Boolean = false)
One dependency edge. This overload does not compute the original numeric result.
fun transfer(qualifiedFunctionName: String, transfers: List<BitcodeTransferDeclaration>, mode: DefinitionMode = DefinitionMode.UNKNOWN, mangledSymbol: String? = null, originalCompileUnit: StigRepoFile? = null, reason: String? = null, originalSource: Any? = null, reviewStatus: BitcodeTransformReviewStatus = BitcodeTransformReviewStatus.NEW, zeroInitializeReturn: Boolean = false)
Materialize a combined dependency summary. All sources describe entry-time values, including self-edges. Contributors to each destination are joined into one write; declaration order does not sequence assignments. Unspecified destinations remain unchanged.
Endpoints use source-level parameter names or numbering. Hidden LLVM arguments such as this and sret are resolved for every exact matched function.
fun transfer(qualifiedFunctionName: String, vararg transfers: BitcodeTransferDeclaration, mode: DefinitionMode = DefinitionMode.UNKNOWN, mangledSymbol: String? = null, originalCompileUnit: StigRepoFile? = null, reason: String? = null, originalSource: Any? = null, reviewStatus: BitcodeTransformReviewStatus = BitcodeTransformReviewStatus.NEW, zeroInitializeReturn: Boolean = false)
fun transfer(from: List<BitcodeFunctionEndpoint>, to: BitcodeFunctionEndpoint): BitcodeTransferGroup
fun transfer(from: BitcodeFunctionEndpoint, to: List<BitcodeFunctionEndpoint>): BitcodeTransferGroup
fun transfer(from: List<BitcodeFunctionEndpoint>, to: List<BitcodeFunctionEndpoint>): BitcodeTransferGroup
fun transfer(qualifiedFunctionName: String, model: BitcodeFunctionModel, mode: DefinitionMode = DefinitionMode.UNKNOWN, mangledSymbol: String? = null, originalCompileUnit: StigRepoFile? = null, reason: String? = null, originalSource: Any? = null, reviewStatus: BitcodeTransformReviewStatus = BitcodeTransformReviewStatus.NEW)
Reusable value and memory operations lowered directly to LLVM, without a replacement C/C++ source file.