sandbox:/mnt/data/project_plan.pod free download - SourceForge

Showing 1 open source project for "sandbox:/mnt/data/project_plan.pod"

View related business solutions

Static Code Analysis C++ Clear Filters & Widen Search

SOCRadar Extended Threat Intelligence Platform
Get real-time visibility into vulnerabilities, leaked data, and threat actor activity targeting your organization.

SOCRadar Extended Threat Intelligence, a natively single platform from its inception that proactively identifies and analyzes cyber threats with contextual and actionable intelligence.

Start Free Trial
Boon: The Agile Referral Hiring Platform
Tap your entire community to hire better talent, faster

Boon's agile referral platform expands your recruiting power  through AI, automation, integrations, and gamification.

Learn More
1

Soufflé

Datalog variant for tool designers crafting analyses in Horn clauses

Rapid prototyping for your analysis problems with logic; enabling deep design-space explorations; designed for large-scale static analysis; e.g., points-to analysis for Java, taint-analysis, and security checks. Futamura projections/partial evaluation for effective translation to parallel C++; optimized staged compilation; specialized data-structures for logical relations. Efficient translation to parallel C++ of Datalog programs (CAV'16, CC'16) Efficient interpretation using de-specialization techniques (PLDI'21) Specialized data structure for relations (PACT'19, PPoPP'19, PMAM'19) with optimal index selection (VLDB'18) Extended semantics of Datalog, e.g., permitting unbounded recursions with numbers and terms. ...

Downloads: 0 This Week

Last Update: 2025-03-24
See Project

Previous
You're on page 1
Next