@eagleoutice/flowr
Version:
Static Dataflow Analyzer and Program Slicer for the R Programming Language
41 lines • 1.69 kB
JavaScript
;
Object.defineProperty(exports, "__esModule", { value: true });
exports.executeHappensBefore = executeHappensBefore;
const logic_1 = require("../../../util/logic");
const log_1 = require("../../../util/log");
const extract_cfg_1 = require("../../../control-flow/extract-cfg");
const happens_before_1 = require("../../../control-flow/happens-before");
const parse_1 = require("../../../slicing/criterion/parse");
/**
* Execute happens-before queries on the given analyzer.
* This checks, whether for two given slicing criteria `a` and `b`, `a` happens before `b` in the control flow graph.
*/
async function executeHappensBefore({ analyzer }, queries) {
const start = Date.now();
const results = {};
const ast = await analyzer.normalize();
const cfg = (0, extract_cfg_1.extractCfgQuick)(ast);
for (const query of queries) {
const { a, b } = query;
const fingerprint = `${a}<${b}`;
if (fingerprint in results) {
log_1.log.warn('Duplicate happens-before query', query, 'ignoring');
}
try {
const resolvedA = parse_1.SlicingCriterion.parse(a, ast.idMap);
const resolvedB = parse_1.SlicingCriterion.parse(b, ast.idMap);
results[fingerprint] = (0, happens_before_1.happensBefore)(cfg.graph, resolvedA, resolvedB);
}
catch (e) {
log_1.log.error('Error while executing happens-before query', query, e);
results[fingerprint] = logic_1.Ternary.Maybe;
}
}
return {
'.meta': {
timing: Date.now() - start
},
results
};
}
//# sourceMappingURL=happens-before-query-executor.js.map