OWASP Community Pages are a place where OWASP can accept community contributions for security-related content.

"How to Do Great Research" Course for Ph.D. Students

Preconditions inferrer for Horn clauses

Testability Pattern Catalogs for SAST

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

Benchmark collection for analysis. The idea is to have a collection of projects in several languages as well as various sast applications to do scans and comparisons. At the end of the day the inte…

program synthesis is possible

Program Synthesis Course

Component-based Program Repair

Program Synthesis

Collection of LaTeX resources and examples.

A curated list of papers related to program synthesis, program induction, program execution, program and code repair, and programmatic reinforcement learning.