create static method

InMemoryDatalogEngine create()

Creates an engine for basic taint tracking (no heap sensitivity).

Use this for simple intra-procedural taint analysis.

Implementation

static InMemoryDatalogEngine create() {
  final engine = InMemoryDatalogEngine();

  // Taint initialization and propagation
  engine.addRule(TaintSourceRule());
  engine.addRule(TaintPropagationRule());
  engine.addRule(TaintViolationRule());

  return engine;
}