Basic Structure for the Abstract Interpretation

src/abstract-interpretation/processor.ts

@@ -0,0 +1,7 @@
+import { DataflowInformation } from '../dataflow/internal/info'
+import { NormalizedAst } from '../r-bridge'
+
+export function runAbstractInterpretation(ast: NormalizedAst, dfg: DataflowInformation): DataflowInformation {
+	console.log('hi from abstract interpretation')
+	return dfg
+}

src/benchmark/slicer.ts

@@ -83,6 +83,7 @@ export class BenchmarkSlicer {
 	private loadedXml:      string | undefined
 	private tokenMap:       Record<string, string> | undefined
 	private dataflow:       DataflowInformation | undefined
+	private ai:             DataflowInformation | undefined
 	private normalizedAst:  NormalizedAst | undefined
 	private totalStopwatch: IStoppableStopwatch
 	private finished = false
@@ -133,6 +134,7 @@ export class BenchmarkSlicer {
 		this.loadedXml = await this.measureCommonStep('parse', 'retrieve AST from R code')
 		this.normalizedAst = await this.measureCommonStep('normalize', 'normalize R AST')
 		this.dataflow = await this.measureCommonStep('dataflow', 'produce dataflow information')
+		this.ai = await this.measureCommonStep('ai', 'run abstract interpretation')
 
 		this.stepper.switchToSliceStage()
 

src/benchmark/stats/stats.ts

@@ -2,7 +2,7 @@ import { SingleSlicingCriterion, SlicingCriteria } from '../../slicing'
 import { NodeId, RParseRequestFromFile, RParseRequestFromText } from '../../r-bridge'
 import { ReconstructionResult } from '../../slicing'
 
-export const CommonSlicerMeasurements = ['initialize R session', 'inject home path', 'ensure installation of xmlparsedata', 'retrieve token map', 'retrieve AST from R code', 'normalize R AST', 'produce dataflow information', 'close R session', 'total'] as const
+export const CommonSlicerMeasurements = ['initialize R session', 'inject home path', 'ensure installation of xmlparsedata', 'retrieve token map', 'retrieve AST from R code', 'normalize R AST', 'produce dataflow information', 'run abstract interpretation', 'close R session', 'total'] as const
 export type CommonSlicerMeasurements = typeof CommonSlicerMeasurements[number]
 
 export const PerSliceMeasurements = ['static slicing', 'reconstruct code', 'total'] as const

src/cli/repl/server/connection.ts

@@ -132,6 +132,7 @@ export class FlowRServerConnection {
 					parse:     serialize2quads(await xlm2jsonObject(parseConfig, results.parse as string), config()),
 					normalize: serialize2quads(results.normalize?.ast as RNodeWithParent, config()),
 					dataflow:  df2quads(results.dataflow?.graph as DataflowGraph, config()),
+					ai:        ''
 				}
 			})
 		} else {

src/core/input.ts

@@ -31,7 +31,7 @@ interface BaseSteppingSlicerInput<InterestedIn extends StepName | undefined> ext
 	autoSelectIf?:   AutoSelectPredicate
 }
 
-interface NormalizeSteppingSlicerInput<InterestedIn extends 'dataflow' | 'normalize'> extends BaseSteppingSlicerInput<InterestedIn> {
+interface NormalizeSteppingSlicerInput<InterestedIn extends 'ai' | 'dataflow' | 'normalize'> extends BaseSteppingSlicerInput<InterestedIn> {
 	stepOfInterest: InterestedIn
 	tokenMap:       TokenMap
 }

src/core/output.ts

@@ -14,7 +14,7 @@ type StepResultsHelper<InterestedIn extends StepName> = {
 	'parse':       Out<'parse'>
 	'normalize':   StepResultsHelper<'parse'> & Out<'normalize'>
 	'dataflow':    StepResultsHelper<'normalize'> & Out<'dataflow'>
-	'slice':       StepResultsHelper<'dataflow'> & Out<'slice'>
+	'ai':          StepResultsHelper<'normalize'> & StepResultsHelper<'dataflow'> & Out<'ai'>
+	'slice':       StepResultsHelper<'ai'> & Out<'slice'>
 	'reconstruct': StepResultsHelper<'slice'> & Out<'reconstruct'>
 }[InterestedIn]
-

src/core/slicer.ts

@@ -213,11 +213,15 @@ export class SteppingSlicer<InterestedIn extends StepName | undefined = typeof L
 				result = executeSingleSubStep(step, this.results.normalize as NormalizedAst)
 				break
 			case 3:
+				step = guardStep('ai')
+				result = executeSingleSubStep(step, this.results.normalize as NormalizedAst, this.results.dataflow as DataflowInformation)
+				break
+			case 4:
 				guard(this.criterion !== undefined, 'Cannot decode criteria without a criterion')
 				step = guardStep('slice')
-				result = executeSingleSubStep(step, (this.results.dataflow as DataflowInformation).graph, this.results.normalize as NormalizedAst, this.criterion)
+				result = executeSingleSubStep(step, (this.results.ai as DataflowInformation).graph, this.results.normalize as NormalizedAst, this.criterion)
 				break
-			case 4:
+			case 5:
 				step = guardStep('reconstruct')
 				result = executeSingleSubStep(step, this.results.normalize as NormalizedAst<NoInfo>, (this.results.slice as SliceResult).result)
 				break

src/core/steps.ts

@@ -24,6 +24,7 @@ import { internalPrinter, IStepPrinter, StepOutputFormat } from './print/print'
 import { normalizedAstToJson } from './print/normalize-printer'
 import { guard } from '../util/assert'
 import { dataflowGraphToJson } from './print/dataflow-printer'
+import { runAbstractInterpretation } from '../abstract-interpretation/processor'
 
 /**
  * This represents close a function that we know completely nothing about.
@@ -80,7 +81,15 @@ export const STEPS_PER_FILE = {
 			[StepOutputFormat.Internal]: internalPrinter,
 			[StepOutputFormat.Json]:     dataflowGraphToJson
 		}
-	} satisfies IStep<typeof produceDataFlowGraph>
+	} satisfies IStep<typeof produceDataFlowGraph>,
+	'ai': {
+		description: 'Run abstract interpretation',
+		processor:   runAbstractInterpretation,
+		required:    'once-per-file',
+		printer:     {
+			[StepOutputFormat.Internal]: internalPrinter
+		}
+	} satisfies IStep<typeof runAbstractInterpretation>
 } as const
 
 export const STEPS_PER_SLICE = {
@@ -103,7 +112,7 @@ export const STEPS_PER_SLICE = {
 } as const
 
 export const STEPS = { ...STEPS_PER_FILE, ...STEPS_PER_SLICE } as const
-export const LAST_PER_FILE_STEP = 'dataflow' as const
+export const LAST_PER_FILE_STEP = 'ai' as const
 export const LAST_STEP = 'reconstruct' as const
 
 export type StepName = keyof typeof STEPS