Skip to content

Commit

Permalink
refactor: adapt name of the call slicer to be the same as in the thesis
Browse files Browse the repository at this point in the history
  • Loading branch information
EagleoutIce committed Aug 4, 2023
1 parent acfdc48 commit 257ad1e
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/slicing/static/static-slicer.ts
Original file line number Diff line number Diff line change
Expand Up @@ -131,7 +131,7 @@ export function staticSlicing<OtherInfo>(dataflowGraph: DataflowGraph, dataflowI

if(currentInfo[0].tag === 'function-call' && !current.onlyForSideEffects) {
slicerLogger.trace(`${current.id} is a function call`)
linkOnFunctionCall(current, dataflowIdMap, currentInfo[0], dataflowGraph, queue)
sliceForCall(current, dataflowIdMap, currentInfo[0], dataflowGraph, queue)
}

const currentNode = dataflowIdMap.get(current.id)
Expand Down Expand Up @@ -200,7 +200,7 @@ function retrieveActiveEnvironment(callerInfo: DataflowGraphNodeInfo, baseEnviro
}

//// returns the new threshold hit count
function linkOnFunctionCall(current: NodeToSlice, idMap: DecoratedAstMap, callerInfo: DataflowGraphNodeInfo, dataflowGraph: DataflowGraph, queue: VisitingQueue): void {
function sliceForCall(current: NodeToSlice, idMap: DecoratedAstMap, callerInfo: DataflowGraphNodeInfo, dataflowGraph: DataflowGraph, queue: VisitingQueue): void {
// bind with call-local environments during slicing
const outgoingEdges = dataflowGraph.get(callerInfo.id, true)
guard(outgoingEdges !== undefined, () => `outgoing edges of id: ${callerInfo.id} must be in graph but can not be found, keep in slice to be sure`)
Expand Down

0 comments on commit 257ad1e

Please sign in to comment.