polonius - GitLite

KO | EN

gitlite — search

#javascript #python #hacktoberfest #ai #llm #go #golang #machine-learning #rust #deep-learning #cli #ios #openai #open-source

polonius

(★ 1,731)

Defines the Rust borrow checker.

파일 탐색기

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

- - ci.yml
- - current_status.md
  - generate_inputs.md
  - getting_started.md
  - rules.md
  - see_also.md
  - SUMMARY.md
  - testing.md
  - what_is_polonius.md
- .gitignore
- book.toml
- - README.md
- - drop-liveness.rs
- - drop-may-dangle.rs
- - drop-no-may-dangle.rs
- - enum-drop-access.rs
- - issue-47680.rs
- - issue-52059-report-when-borrow-and-drop-conflict.rs
- - maybe-initialized-drop.rs
- - maybe-initialized-drop-implicit-fragment-drop.rs
- - maybe-initialized-drop-uninitialized.rs
- - maybe-initialized-drop-with-fragment.rs
- - maybe-initialized-drop-with-uninitialized-fragments.rs
- - polonius-smoke-test.rs
- - subset-relations.rs
- - vec-push-ref.rs
- collect-facts.sh
- - facts.rs
  - lib.rs
- Cargo.toml
- README.md
- - error.rs
  - ir.rs
  - lexer.rs
  - lib.rs
  - parser.rs
  - tests.rs
  - token.rs
- Cargo.toml
- README.md
- cli.rs
- dump.rs
- facts.rs
- intern.rs
- lib.rs
- main.rs
- program.rs
- tab_delim.rs
- test.rs
- test_util.rs
.gitignore
.mailmap
Cargo.lock
Cargo.toml
CODE_OF_CONDUCT.md
LICENSE-APACHE
LICENSE-MIT
README.md
RELEASES.md
rust-toolchain
triagebot.toml

# 설치 가이드

1. 코드 내려받기

git clone https://github.com/rust-lang/polonius

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

cd polonius

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

2. Rust

보통 추천

사전 준비물

Git GitHub에서 프로젝트 코드를 내려받으려면 필요합니다.
Rust (rustup) rustup으로 설치하면 cargo도 함께 설치됩니다.

> cargo +nightly run --release -- -a DatafrogOpt inputs/clap-rs/app-parser-{{impl}}-add_defaults/

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

> cargo rustc -- -Znll-facts

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

✅ cargo build가 에러 없이 끝나면 성공입니다. target/ 폴더에 실행 파일이 생성됩니다.

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

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

This is a core library that models the borrow check. It implements the analysis
described in this [blogpost][post] and in this [talk]. Details are [in the Polonius book][book].

[post]: http://smallcultfollowing.com/babysteps/blog/2018/04/27/an-alias-based-formulation-of-the-borrow-checker/
[talk]: https://youtu.be/_agDeiWek8w
[book]: https://rust-lang.github.io/polonius/

### Why the name "Polonius"?

The name comes from the famous quote ["Neither a borrower nor a lender
be"][nblnb], which comes from the character Polonius in Shakespeare's
*Hamlet*.

[nblnb]: https://literarydevices.net/neither-a-borrower-nor-a-lender-be/

### Want to run the code?

One of the goals with this repo is to experiment and compare different
implementations of the same algorithm. You can run the analysis by using `cargo run`
and you can choose the analysis with `-a`. So for example to run against an example
extract from clap, you might do:

```bash
> cargo +nightly run --release -- -a DatafrogOpt inputs/clap-rs/app-parser-{{impl}}-add_defaults/
    Finished release [optimized] target(s) in 0.05 secs
     Running `target/release/borrow-check 'inputs/clap-rs/app-parser-{{impl}}-add_defaults/'`
--------------------------------------------------
Directory: inputs/clap-rs/app-parser-{{impl}}-add_defaults/
Time: 3.856s
```

You could also try `-a Naive` to get the naive rules (more readable,
slower) -- these are the exact rules described in [the
blogpost][post]. You can also use `-a LocationInsensitive` to use a
location insensitive analysis (faster, but may yield spurious errors).

By default, `cargo run` just prints timing. If you also want to see
the results, try `--show-tuples` (which will show errors) and maybe
`-v` (to show more intermediate computations). You can supply `--help`
to get more docs.

### How to generate your own inputs

To run the borrow checker on an input, you first need to generate the
input facts.  For that, you will need to run rustc with the
`-Znll-facts` option:

```
> rustc -Znll-facts inputs/issue-47680/issue-47680.rs
```

Or, for generating the input facts of a crate using the `#![feature(nll)]` flag:

```
> cargo rustc -- -Znll-facts
```

This will generate a `nll-facts` directory with one subdirectory per function:

```bash
> ls -F nll-facts
{{impl}}-maybe_next/  main/
```

You can then run on these directories.