c4udit - GitLite

KO | EN

gitlite — search

#javascript #react #ai #llm #rust #docker #nodejs #java #windows #kubernetes #vue #pytorch #mcp #openai

c4udit

(★ 237)

Static analyzer for solidity contracts based on regexs specifically crafted for code4rena contests

파일 탐색기

최종 버전 다운로드 (.zip)

- analyzer.go
- issues.go
- types.go
- c4udit-report.md
- Test.sol
.gitignore
go.mod
LICENSE
main.go
README.md

# 설치 가이드

1. 코드 내려받기

git clone https://github.com/byterocket/c4udit

깃허브에서 프로젝트 코드 전체를 내 컴퓨터로 내려받습니다.

cd c4udit

방금 내려받은 프로젝트 폴더 안으로 이동합니다.

2. Go

보통 추천

사전 준비물

Git GitHub에서 프로젝트 코드를 내려받으려면 필요합니다.
Go Go 언어 컴파일러 및 도구 모음입니다.

$ go install github.com/byterocket/c4udit@latest

이 명령어를 터미널에 그대로 입력해 실행하세요.

$ go build .

Go 프로그램을 컴파일해 실행 파일을 만듭니다.

✅ 빌드가 에러 없이 끝나면 성공입니다. go run . 을 썼다면 터미널 출력을 확인하세요.

이 레포의 README에 적힌 실제 명령어를 그대로 가져왔습니다.

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

<h1 align=center><code>c4udit</code></h1>

## Introduction

`c4udit` is a static analyzer for solidity contracts based on regular
expressions specifically crafted for [Code4Rena](https://code4rena.com) contests.

It is capable of finding low risk issues and gas optimization documented in the
[c4-common-issues](https://github.com/byterocket/c4-common-issues) repository.

Note that `c4udit` uses [c4-common-issues](https://github.com/byterocket/c4-common-issues)'s issue identifiers.

## Installation

First you need to have the Go toolchain installed. You can find instruction [here](https://go.dev/doc/install).

Then install `c4udit` with:
```
$ go install github.com/byterocket/c4udit@latest
```

To just build the binary:
```
$ git clone https://github.com/byterocket/c4udit
$ cd c4udit/
$ go build .
```
Now you should be able to run `c4udit` with:
```
$ ./c4udit
```

## Usage

```
Usage:
	c4udit [flags] [files...]

Flags:
	-h    Print help text.
	-s    Save report as file.
```

## Example

Running `c4udit` against the `examples` directory:
```
$ ./c4udit examples/
Files analyzed:
- examples/Test.sol

Issues found:
 G001:
  examples/Test.sol::4 => uint256 a = 0;
  examples/Test.sol::12 => for (uint256 i = 0; i < array.length; i++) {

G002:
  examples/Test.sol::12 => for (uint256 i = 0; i < array.length; i++) {

G007:
  examples/Test.sol::6 => string b = "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa";

G008:
  examples/Test.sol::13 => i = i / 2;

L001:
  examples/Test.sol::16 => token.transferFrom(msg.sender, address(this), 100);

L003:
  examples/Test.sol::1 => pragma solidity ^0.8.0;
```

Using the `-s` flag, `c4udit` will create a report in markdown format.
For an example check out the report in the `examples` directory [here](./examples/c4udit-report.md).

## License

Note that this tool is licensed as [free software](./LICENSE)!