Skip to main content

Module temporal

Module temporal 

Source
Expand description

Temporal Command - Temporal Constraint Mining

Mines temporal constraints (method call sequences) from a codebase.

§Algorithm

  1. Extract method call sequences from each function
  2. Build frequency table of (before, after) pairs (bigrams)
  3. Calculate confidence: count(A->B) / count(A)
  4. Filter by min_support and min_confidence
  5. Optionally mine trigrams (3-method sequences)

§TIGER Mitigations

  • T05: MAX_TRIGRAMS=10000 with BinaryHeap top-K selection
  • E03: –timeout flag (default 60s)

§Example

# Mine constraints from a directory
tldr temporal src/ --min-support 2 --min-confidence 0.5

# Filter for specific method
tldr temporal src/ --query open

# Include trigram patterns
tldr temporal src/ --include-trigrams

Structs§

BigramCounter
Counter for bigrams with example tracking
SequenceExtractor
Extractor for method call sequences from source code.
TemporalArgs
Mine temporal constraints (method call sequences) from a codebase.

Functions§

extract_sequences
Extract method call sequences from source code
filter_by_query
Filter constraints by query string
filter_trigrams_by_query
Filter trigrams by query string
format_temporal_text
Format a temporal report as human-readable text
mine_bigrams
Mine bigram constraints from sequences
mine_trigrams
Mine trigram patterns with MAX_TRIGRAMS limit (TIGER-05)
run
Execute the temporal command