From 3db70d7f48b9bccceb5b66961596b0f319ab3402 Mon Sep 17 00:00:00 2001 From: Julien Midedji Date: Mon, 23 Oct 2023 13:28:01 +0200 Subject: [PATCH] Integrate suggestions from reddit --- src/public/LIST.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/public/LIST.md b/src/public/LIST.md index eaa31aa..de90494 100644 --- a/src/public/LIST.md +++ b/src/public/LIST.md @@ -338,7 +338,7 @@ _Libraries related to the financial domain._ _Formal-methods tools: proof assistants, model checking, symbolic execution, etc._ - [CATG](https://github.com/ksen007/janala2) - Concolic unit testing engine. Automatically generates unit tests using formal methods. -- [Checker Framework](https://checkerframework.org) - Pluggable type systems. Includes nullness types, physical units, immutability types and more. (GPL-2.0-only WITH Classpath-exception-2.0) +- [Checker Framework](https://github.com/typetools/checker-framework) - Pluggable type systems. Includes nullness types, physical units, immutability types and more. (GPL-2.0-only WITH Classpath-exception-2.0) - [Daikon](https://plse.cs.washington.edu/daikon) - Detects likely program invariants and generates JML specs based on those invariants. - [Java Path Finder (JPF)](https://github.com/javapathfinder/jpf-core) - JVM formal verification tool containing a model checker and more. Created by NASA. - [JMLOK 2.0](https://massoni.computacao.ufcg.edu.br/home/jmlok) - Detects inconsistencies between code and JML specification through feedback-directed random tests generation, and suggests a likely cause for each nonconformance detected. (GPL-3.0-only) @@ -522,7 +522,7 @@ _Libraries that log the behavior of an application._ - [Logbook](https://github.com/zalando/logbook) - Extensible, open-source library for HTTP request and response logging. - [Logstash](https://www.elastic.co/logstash) - Tool for managing log files. - [p6spy](https://github.com/p6spy/p6spy) - Enables logging for all JDBC transactions without changes to the code. -- [SLF4J](http://www.slf4j.org) - Abstraction layer/simple logging facade. +- [SLF4J](https://github.com/qos-ch/slf4j) - Abstraction layer/simple logging facade. - [tinylog](https://tinylog.org/v2) - Lightweight logging framework with static logger class. - [OpenTracing Toolbox](https://github.com/zalando/opentracing-toolbox) - Collection of libraries that build on top of OpenTracing and provide extensions and plugins to existing instrumentations.