Awesome Open Source

Programming Languages

Frama C Stady

Static & Dynamic Verification of C programs

Categories > Security > Compliance

Suggest Alternative

Stars

5

License

lgpl-3.0

Most Recent Commit

5 years ago

Programming Language

OCaml

Categories

Programming Languages > Ocaml

Security > Compliance

Alternatives To Frama C Stady

Select To Compare

Lynis ⭐ 12,150

Lynis - Security auditing tool for Linux, macOS, and UNIX-based systems. Assists with compliance testing (HIPAA/ISO27001/PCI DSS) and system hardening. Agentless, and installation optional.

total releases 1most recent commit 3 months ago

Prowler ⭐ 9,711

Prowler is an Open Source Security tool for AWS, Azure, GCP and Kubernetes to do security assessments, audits, incident response, compliance, continuous monitoring, hardening and forensics readiness. Includes CIS, NIST 800, NIST CSF, CISA, FedRAMP, PCI-DSS, GDPR, HIPAA, FFIEC, SOC2, GXP, Well-Architected Security, ENS and more

total releases 55most recent commit a month ago

Open Policy Agent (OPA) is an open source, general-purpose policy engine.

dependent packages 486total releases 592most recent commit 5 months ago

Immudb ⭐ 8,416

immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history

dependent packages 21total releases 139most recent commit 5 months ago

Wazuh ⭐ 8,176

Wazuh - The Open Source Security Platform. Unified XDR and SIEM protection for endpoints and cloud workloads.

most recent commit 5 months ago

Tfsec ⭐ 6,594

Security scanner for your Terraform code

dependent packages 18total releases 411most recent commit a month ago

Checkov ⭐ 6,284

Prevent cloud misconfigurations and find vulnerabilities during build-time in infrastructure as code, container images and open source packages with Checkov by Bridgecrew.

dependent packages 6total releases 3,177most recent commit 5 months ago

pypi checkov} Downloads

Cloud Custodian ⭐ 5,207

Rules engine for cloud security, cost optimization, and governance, DSL in yaml for policies to query, filter, and take actions on resources

dependent packages 19total releases 135most recent commit 2 months ago

pypi c7n} Downloads

Threatmapper ⭐ 4,534

Open source cloud native security observability platform. Linux, K8s, AWS Fargate and more.

total releases 24most recent commit 5 months ago

Ossec Hids ⭐ 4,145

OSSEC is an Open Source Host-based Intrusion Detection System that performs log analysis, file integrity checking, policy monitoring, rootkit detection, real-time alerting and active response.

most recent commit 7 months ago

Suggest An Alternative To Frama-C-StaDy

Popular Security Categories

Related Searches

Get A Weekly Email With Trending Projects For These Categories

No Spam. Unsubscribe easily at any time.

Ocaml

Compliance

Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source. All rights reserved.