Skill: Analyze External Methods

Read the methods where the analyzer lost track of the data, group them by library and kind, and record per group what to model and how — so the right skill can build each approximation

Inputs

From the caller; if omitted, fall back to the default. Ask only when a required input is missing and has no sensible default

• Dropped methods <dropped-file> — methods where the analyzer dropped the data for lack of a model. Default: .opentaint/results/dropped-external-methods.yaml
• Tracking directory <tracking-dir> — where approximation tracking files are written. Default: .opentaint/tracking
• Project root <project-root> — sources and build files, to resolve which library owns each method. Default: current directory

Workflow

Requires <dropped-file>, without it there's nothing to group

1. Group by package and kind

Every method in <dropped-file> is a place the data is lost for lack of a model — model all of them. First decide each method's kind: