CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
The SOSA project seeks to enhance the security of software systems through self-aware static program analysis. By enabling analyses to adapt and optimize themselves, it aims to improve the detection of bugs and vulnerabilities, making software development more efficient and reliable.
Software systems pervade our personal and professional lives, yet their insecurity threaten our society.
To assure that software systems are dependable and secure, one must reason about their code.
Static program analysis enables such reasoning.
It can be applied to individual software components, and it can show not only the presence but also prove the absence of bugs and vulnerabilities.
Yet, to be useful to software developers, static analyses must be adapted to the context in which they are…
UNIVERSITAET PADERBORN
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
Guests see up to 5 keywords.
