Doubly-Linked-List-VST VS Log4jAttackSurface

Compare Doubly-Linked-List-VST vs Log4jAttackSurface and see what are their differences.

Doubly-Linked-List-VST

The final project for CS2603 (2021 Spring), aiming to verify a doubly linked list library using VST. Collaborating with @karzexcc (by junqi-xie)
Our great sponsors
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • WorkOS - The modern identity platform for B2B SaaS
  • SaaSHub - Software Alternatives and Reviews
Doubly-Linked-List-VST Log4jAttackSurface
1 40
2 2,085
- -
10.0 0.0
almost 3 years ago over 2 years ago
Coq
GNU General Public License v3.0 only -
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.

Doubly-Linked-List-VST

Posts with mentions or reviews of Doubly-Linked-List-VST. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-12-09.

Log4jAttackSurface

Posts with mentions or reviews of Log4jAttackSurface. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-12-25.

What are some alternatives?

When comparing Doubly-Linked-List-VST and Log4jAttackSurface you can also consider the following projects:

Log4jPatcher - A mitigation for CVE-2021-44228 (log4shell) that works by patching the vulnerability at runtime. (Works with any vulnerable java software, tested with java 6 and newer)

nimbus-eth2 - Nim implementation of the Ethereum Beacon Chain

ConCert - A framework for smart contract verification in Coq

teku - Open-source Ethereum consensus client written in Java

vericert - A formally verified high-level synthesis tool based on CompCert and written in Coq.

apache-log4j-rce-poc

Spring Boot - Spring Boot

GDLauncher - GDLauncher is a simple, yet powerful Minecraft custom launcher with a strong focus on the user experience

Apache Log4j 2 - Apache Log4j 2 is a versatile, feature-rich, efficient logging API and backend for Java.

active-scan-plus-plus - ActiveScan++ Burp Suite Plugin

airdrop-addresses

nzbhydra2 - Usenet meta search