VulTracer - Function-Level Vulnerability Analysis

VulTracer: From Noise to Signal

Upload a package-lock.json file for precise function-level vulnerability analysis with reachability analysis and vulnerability propagation path tracing.

Click to upload or drag and drop

package-lock.json files only

or try a quick demo

Loading demo projects...

Running VulTracer function-level analysis...

• Building Rich Semantic Graphs (RSG) for packages
• Extracting formal interface contracts
• Performing compositional synthesis of call graphs
• Tracing vulnerability propagation paths

VulTracer Analysis Results

Total Packages

0

Vulnerabilities

0

Reachable

0

Noise Reduced

-

Interactive Dependency Tree with RSG

Red nodes indicate vulnerable packages. Click vulnerable nodes to trace propagation paths.

Vulnerability Details

Click vulnerable nodes to see details

Vulnerability Overview 0

Click on any vulnerability to expand and see detailed propagation paths.