Doubly-Linked-List-VST vs Log4jPatcher

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)

DISCONTINUED

Suggest alternative

Edit details

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) (by CreeperHost)

Log4j Log4j2 log4shell cve-2021-44228

Source Code

Suggest alternative

Edit details

Our great sponsors

InfluxDB - Power Real-Time Data Analytics at Scale

WorkOS - The modern identity platform for B2B SaaS

SaaSHub - Software Alternatives and Reviews

Our great sponsors

Doubly-Linked-List-VST		Log4jPatcher
	Project
1	Mentions	2
2	Stars	46
-	Growth	-
10.0	Activity	0.0
almost 3 years ago	Latest Commit	over 1 year ago
Coq	Language	Java
GNU General Public License v3.0 only	License	MIT License

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.

RCE 0-day exploit found in log4j, a popular Java logging package
9 projects | /r/programming | 9 Dec 2021

Log4jPatcher

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

Cisco AMP/Endpoint is not a great product for Endpoint Security.
2 projects | /r/Cisco | 15 Dec 2021

https://github.com/CreeperHost/Log4jPatcher - Double nope
RCE 0-day exploit found in log4j, a popular Java logging package
9 projects | /r/programming | 9 Dec 2021

The folks over at CreeperHost have created a Java agent that patches log4j2, for people who can't update it for whatever reason. https://github.com/CreeperHost/Log4jPatcher

What are some alternatives?

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

ConCert - A framework for smart contract verification in Coq

local-log4j-vuln-scanner - Simple local scanner for vulnerable log4j instances

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

Logback - The reliable, generic, fast and flexible logging framework for Java.

Spring Boot - Spring Boot

coq - Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

ysoserial - A proof-of-concept tool for generating payloads that exploit unsafe Java object deserialization.

Log4jAttackSurface

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