From afda3db6c8236636650405f9858b30290450e138 Mon Sep 17 00:00:00 2001 From: Wen Wei Tseng Date: Sat, 25 Nov 2023 17:00:04 +0800 Subject: [PATCH] close #48 --- docs/development-tools.md | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/development-tools.md b/docs/development-tools.md index d91d0ef..2e52b10 100644 --- a/docs/development-tools.md +++ b/docs/development-tools.md @@ -22,6 +22,7 @@ Julia Developement tools, compilers, debuggers, [DevOps](https://en.wikipedia.or ## Static analysis - https://github.com/aviatesk/JET.jl : experimental code analyzer for Julia. +- https://github.com/JuliaLang/AllocCheck.jl : a Julia package that statically checks if a function call may allocate by analyzing the generated LLVM IR of it and its callees. - https://github.com/tonyhffong/Lint.jl : A lint tool to hunt for imperfections and dodgy structures that could be improved for Julia code. ## Style Guidelines