@eagleoutice/flowr
Version:
Static Dataflow Analyzer and Program Slicer for the R Programming Language
57 lines • 2.8 kB
JavaScript
;
Object.defineProperty(exports, "__esModule", { value: true });
exports.fingerPrintOfQuery = fingerPrintOfQuery;
exports.executeStaticSliceQuery = executeStaticSliceQuery;
const static_slicer_1 = require("../../../slicing/static/static-slicer");
const reconstruct_1 = require("../../../reconstruct/reconstruct");
const auto_select_defaults_1 = require("../../../reconstruct/auto-select/auto-select-defaults");
const magic_comments_1 = require("../../../reconstruct/auto-select/magic-comments");
const log_1 = require("../../../util/log");
const slice_direction_1 = require("../../../util/slice-direction");
const parse_1 = require("../../../slicing/criterion/parse");
/**
* Produce a fingerprint string for a static slice query
*/
function fingerPrintOfQuery(query) {
return JSON.stringify(query);
}
/**
* Execute static slice queries, catching duplicates with the same fingerprint
* @param analyzer - The basic query data containing the analyzer
* @param queries - The static slice queries to execute
* @returns The results of the static slice queries
*/
async function executeStaticSliceQuery({ analyzer }, queries) {
const start = Date.now();
const results = {};
for (const query of queries) {
const key = fingerPrintOfQuery(query);
if (results[key]) {
log_1.log.warn(`Duplicate Key for slicing-query: ${key}, skipping...`);
}
const { criteria, noReconstruction, noMagicComments } = query;
const sliceStart = Date.now();
const n = await analyzer.normalize();
const slice = (0, static_slicer_1.staticSlice)(analyzer.inspectContext(), await analyzer.dataflow(), n, parse_1.SlicingCriteria.convertAll(criteria, n.idMap), query.direction ?? slice_direction_1.SliceDirection.Backward, analyzer.flowrConfig.solver.slicer?.threshold);
const sliceEnd = Date.now();
if (noReconstruction) {
results[key] = { slice: { ...slice, '.meta': { timing: sliceEnd - sliceStart } } };
}
else {
const reconstructStart = Date.now();
const reconstruct = (0, reconstruct_1.reconstructToCode)(await analyzer.normalize(), { nodes: slice.result }, noMagicComments ? auto_select_defaults_1.doNotAutoSelect : (0, magic_comments_1.makeMagicCommentHandler)(auto_select_defaults_1.doNotAutoSelect));
const reconstructEnd = Date.now();
results[key] = {
slice: { ...slice, '.meta': { timing: sliceEnd - sliceStart } },
reconstruct: { ...reconstruct, '.meta': { timing: reconstructEnd - reconstructStart } }
};
}
}
return {
'.meta': {
timing: Date.now() - start
},
results
};
}
//# sourceMappingURL=static-slice-query-executor.js.map