bismon

개요와 철학

bismon ( 임시 이름)은 (향후) GCC 컴파일러 Thru 플러그인과 상호 작용하는 지속적인 모니터 입니다. 그것은 어떻게 든 나의 오래된 GCC 멜트 프로젝트의 후계자입니다. 중기 목표는 또한 GCC의 도움으로 정적 프로그램 소스 코드 분석입니다. 소스 코드 리포지토리 (GPLV3+ 라이센스)는 https://github.com/bstarynk/bismon에 있습니다. My (Basile Starynkevitch, France에서 고용 된 Basile Starynkevitch, bismon 에 대한 업무)는 유럽 연합의 2018 년 초부터 2020 년 초부터 CHORIZON H2020 프로그램의 중심에 의해 부분적으로 자금이 지원됩니다. C 또는 C ++로 코딩 된 일부 종류의 IoT 소프트웨어 분석 및 일부 Linux 데스크탑에서 GCC가 컴파일 한 (크로스). 2019-2021 년 bismon 의 개발은 Grant Agreement 824231 ( 지속적인 지식 모니터 WP1과 관련하여)에 따라 Decoder H2020 프로젝트에 의해 부분적으로 자금을 지원받습니다.

현재 (2021 년 초) bismon 여전히 ​​베타 단계에 있으며 GPLV3+ 라이센스에 따른 무료 소프트웨어 입니다. Linux X86-64 데스크탑 개발자의 워크 스테이션을위한 것입니다 (Windows 또는 MacOSX 또는 Android에서는 작동하지 않음).

일부 불완전한 문서 (PDF의 기술 보고서 doc/bismon-doc.pdf ) make doc make 해당 명령에는 쓸 수있는 $HOME/tmp/ directory가 필요함). 해당 보고서의 초기 (비공식) 초안은 http://starynkevitch.net/basile/bismon-doc.pdf에서 확인할 수 있습니다.

잠재적 인 미래 사용

Bismon 은 현재 정적 분석 목표를 가진 H2020 프로젝트에 의해 자금을 지원 받고 있지만, Bismon은 나중에 2024 년 이후에 더 성숙 할 때, 아마도 많은 다른 목적 (가장 중요한 한계, 아마도 당신의 컴퓨터의 힘)을 위해 많은 추가 작업 (몇 달이 아닌 몇 개월이 아닌 몇 달이 아닌 몇 년 동안 일반적인 프레임 워크로 사용할 수 있음)을 주목하십시오. 의식이있는 기계를 의식하는 ISBN : 978-1848211018), 정교한 데스크탑과 같은 그래픽 환경, 일부 대화식 웹 기반 협업 소프트웨어 도구 또는 일부 팀이 동시에 사용하거나 객체 데이터베이스 응용 프로그램 또는 관련 문제. Bismon 은 GPLV3+ 라이센스가 있으므로 IMHO를 사용하는 향후 소프트웨어는 실제로 GPLV3+이어야합니다 (그러나 다른 라이센스 체계는 가능할 수 있습니다. [email protected] 로 문의하십시오.

관련 읽기

[공동 파업 전투기 공기 차량 C ++ 코딩 표준] (https://www.stroustrup.com/jsf-av-rules.pdf)

[제로 오버 헤드 결정 론적 예외 : 던지기 값] (http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p0709r4.pdf)

[C ++ 표준화, 논문 2021] (http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/)

접근하다

GCC 위의 정적 프로그램 소스 코드 분석을 용이하게하고 GCC 플러그인을 생성하기 위해 일종의 고급 (보다 표현력이 뛰어나고 선언적) 도메인 별 언어를 개발하므로 GCC 용해 (및 더 광범위하게 관련된 동기 부여-Coccinnelle, Frama-C, Rascal, Crossminer, Clasp Analys 등)와 동일한 동기가 있습니다.

해당 도메인 별 언어 및 구현의 중요한 기능과 목표는 다음과 같습니다.

• 직교적인 지속성; 이것은 GCC 용해에 현실적으로 합리적이지 않아서 완전한 재 설계가 필요하지 않은 여러 번역 장치로 만들어진 분석 된 프로그램의 전체 프로그램 정적 소스 코드 분석에 유용합니다. bismon 프로세스는 비교적 오래 지속되는 서버와 같은 것으로 예상되며 대부분의 데이터는 한 번의 실행에서 다음 실행 ( store*.bmon 텍스트 파일)으로 유지됩니다. 미래에 bismon 프로세스는 gcc 또는 g++ (크로스-) 컴파일 프로세스와 통신 할 것입니다 (일부 GCC 플러그인을 사용하여 bismon 자체가 생성).

• Python, Stand, Ruby, JavaScript 등의 동적 타이핑.

• 멀티 스레드는 길지 않고. 작업자 스레드의 작은 스레드 풀이 반복적이고 동시에 글로벌 의제에서 작업 목적을 가져옵니다. 각 작업용은 일부 작업자 스레드에서 빠르게 실행되며 해당 의제를 업데이트 할 수 있습니다 (예 : 계속해서 자체적으로 추가 함).

• 반사

• 동종

• 정확히 쓰레기가 수집되었습니다

• 좋은 패턴 일치 및 규칙 형식의 선언

• 부트 스트랩 및 C로 컴파일되었을 것입니다.

• 너무 메타 프로 그램

• 일부 RPC 메커니즘으로 bismon 과 상호 작용하는 GCC 플러그인 생성 (C ++)

bismon 의 구문 및 의미론 (여전히 문서화되지 않은)은 진행중인 작업 이며 호환되지 않게 변경 될 수 있습니다.

bismon 사용할 수 있도록 완료되면 일반적으로 C 또는 C ++ (및 바람직하게는 무료 소프트웨어 프로젝트)로 코딩 된 일부 (공통) 소프트웨어 프로젝트에서 함께 작업하는 소규모 개발자 팀이 사용합니다.

지침을 작성하십시오

대부분의 bismon 은 C99 또는 C11 ( modules/ 에서 생성 된 C 코드의 양 포함)에 있지만, 일부 손으로 작성된 코드는 C ++ 14 (특히 misc_BM.cc 및 BM_makeconst.cc METAPROGRAM 생성 C 헤더)에 있습니다.

Linux/x86-64 (예 : Debian/불안정 또는 버스터 또는 최근 Ubuntu 18 또는 19)에서만 ( 추가 패치 나 작업없이 Bismon은 32 개의 비트 기계에서 작동하지 않습니다!) :

전제 조건

소스 코드를 위해 많은 오픈 소스 소프트웨어 패키지를 컴파일 할 수 있어야합니다. 루트 에이스, 바람직하게는 32 기가 바이트 이상의 RAM, 최소 4 개의 코어가있는 x86-64 프로세서 및 250g의 무료 디스크 공간이있는 최근 GNU/Linux 시스템이 있어야합니다. Linux 명령 줄 인터페이스 및 GNU Bash 또는 Zsh와 같은 Unix 쉘에 능통해야합니다. 소스 코드에서 GCC 10 또는 가급적 GCC 11을 컴파일 할 수 있고 GNU EMACS, VIM, Geany 등과 같은 소스 코드 편집기에 익숙해야합니다. SICP를 읽는 것을 즐겼습니다.

의존성 하위 디렉토리 및 readme 의존성 (아마도 업데이트되지 않았을 것입니다.

• C 및 C ++ 및 JIT 지원 및 플러그인이 활성화 된 최근의 GCC (GCC 10 또는 바람직하게는 GCC 11 ...) ( gcc -v 로 확인하십시오. 시스템 gcc 및 g++ 플러그인 및 LIBGCCJIT에 대한 지원이 부족한 경우 소스 코드에서 최근 GCC 릴리스를 빌드하고 설치해야합니다.) 오래된 GCC (예 : 버전 9 이상)를 사용할 수 없습니다.

  • 소스 코드에서 GCC를 컴파일하는 경우 : '/usr/src/Lang/gcc-11.1.0/configure' '-v' '--prefix=/usr/local' '--with-gcc-major-version-only' '--program-suffix=-11' '--enable-shared' '--enable-linker-build-id' '--enable-nls' '--enable-bootstrap' '--enable-clocale=gnu' '--enable-libstdcxx-debug' '--enable-libstdcxx-time=yes' '--with-default-libstdcxx-abi=new' '--enable-gnu-unique-object' '--disable-vtable-verify' '--enable-plugin' '--enable-default-pie' '--with-system-zlib' '--enable-libphobos-checking=release' '--with-target-system-zlib=auto' '--enable-objc-gc=auto' '--enable-multiarch' '--disable-werror' '--with-arch-32=i686' '--with-abi=m64' '--with-multilib-list=m32,m64,mx32' '--enable-multilib' '--with-tune=native' 'CFLAGS=-O2 -g' 'CXXFLAGS=-O2 -g' '--enable-host-shared' '--enable-languages=c,c++,d,go,jit,lto' ....

• PIP 설치가있는 최근 Python 3.

• 이 문서에는 GCC-8- /usr/bin/mipsel-linux-gnu-gcc-8 gcc-8-mipsel-linux-gnu GNU-GCC-8 크로스 컴파일러가 필요합니다. 패키지는 데비안의 gcc-multilib* 패키지와 충돌합니다.

• Ninja Builder, 버전 1.8 또는 최신 버전이 필요하며 make 으로 시작됩니다). 오래된 것을 사용하지 마십시오 ( ninja --version 를 확인하십시오. 작동하지 않으면 ninja 너무 오래되었습니다).

• 최근의 Guile 통역사가 필요합니다. 버전 2 이상 (바람직하게는 Guile 2.2). 나는 Python과 Guile 통역사를 모르고 강하게 싫어합니다. Gnu, LGPLV3+이며 훨씬 더 친숙합니다. 또한, Scheme ( Guile 에서 구현 된 언어)와 같은 LISP 방언의 개념은 Guile이 build.ninja 생성하는 데 사용되는 Bismon을 이해하는 것과 관련이 있습니다. Ninja Builder가 사용하는 innja 스크립트.

• 최근의 Guile-Enhanced mailutils , 즉 Debian mailutils-guile /usr/bin/guimb 실행 파일을 제공합니다.

• glib 2.58 이상 (위의 GTK에도 필요). 일부 낮은 수준의 루틴, 특히 UTF-8 관련이 필요하기 때문입니다.

• JANSSON 2.12 이상이 JSON (WebSockets와 관련하여 사용)에 필요합니다.

• Libonion은 웹 인터페이스에 필요했지만 2022 년 6 월 27 일, Git Commit a943cf687c748 또는 태그 no-more-ibonion-tag (오타 : l )를 제거했습니다. 그 커밋 전에 BISMON_LIBONION 사전 처리기 플래그를 찾으십시오.

• GNU는 4 이상을 만듭니다

• CCACHE는 쓸모없는 재 컴파일을 피하는 데 사용됩니다. 가지고 있지 않으면 생성 된 모듈의 컴파일을 위해 Makefile 편집해야합니다.

• Libbacktrace- 때로는 시스템 GCC 의 일부이지만 별도로 설치하는 것이 좋습니다 (예 : /usr/local/ prefix에서).

• 이 README.md 와 같은 일부 문서에는 마크 다운이 필요합니다.

• GNU 계급 (마침내 2.2.x)과 Astyle (3.1 이상)은 make indent 에 유용합니다. 생성 된 모듈에는 이제 indent 가 필요합니다 .

• Tardy ( tar 파일 후 프로세서)는 문서를 생성하는 데 사용됩니다.

• Latex -Texlive Suite 또는 Luatex 및 관련 유틸리티 ( pdflatex , makeidx , bibtex ...)가 잉크 스케이프를 사용하고 Hevea 및 Xindy가 문서화하려면 필요합니다.

관련 데비안/우분투 빌드 의존성 패키지

데비안/불안정 또는 최근 우분투에서, apt-get install build-essential make ninja-build gcc-8 g++-8 gcc-8-plugin-dev libgccjit-8-dev ccache gcc-8-mipsel-linux-gnu inkscape hevea texlive-full xindy fonts-inconsolata ttf-ubuntu-font-family fonts-ubuntu ttfautohint guile-2.2 mailutils-guile ; gcc-8-mipsel-linux-gnu 는 MIPSEL GCC 크로스 컴파일러입니다. gcc-multilib* 패키지와 충돌 합니다. inkscape , hevea , texlive-full ( 거대한 메타 패키지), xindy , fonts-inconsolata , fonts-ubuntu , ttfautohint 문서를 생성하려면 필요합니다.

우리는 여전히 GTK 3에 apt-get install libgtk-3-dev 합니다. 이것은 많은 종속성을 가져올 수 있습니다.

apt-get install libglib2.0-dev libjansson-dev .

libbacktrace 는 데비안에서 독립적으로 포장되지 않았습니다. 소스 코드에서 빌드 및 설치하는 것이 좋습니다. 그렇지 않으면 (권장하지 않음,? 그러나 수행 가능)는 Makefile 편집하여 시스템 GCC 컴파일러를 사용합니다.

libonion 데비안에 독립적으로 포장되지 않았습니다.

apt-get install markdown indent astyle tardy 및 apt-get install texlive texlive-full hevea

dependencies/ 하위 디렉토리는 libbacktrace 및 libonion 과 관련된 git submodule 용입니다.

/etc/mime.types 시스템 파일에서 application/javascript Mime 유형에 대한 유효한 접미사 또는 파일 확장자로 .mjs 추가해야 할 수도 있습니다. 웹에서 JavaScript 모듈에 대해 읽고 Debian Bug#927300을 참조하십시오.

현지화

현지화가 UTF-8 (예 : 이탈리아 또는 그리스어 또는 프랑스어 일 수 없음)에서 locale 가 Posix Compliant 또는 English (British 또는 American)인지 확인하십시오 . 따라서 POSIX 또는 C 또는 en_US.UTF-8 또는 en_GB.UTF-8 이어야합니다. 환경 변수를 적절하게 설정할 수 있습니다 (적어도 LANG=en_US.UTF-8 및 LANGUAGE=en_US:en 및 LC_ALL=en_US.UTF-8 , 다른 LC_* 환경 변수가 없음). Locale (1), Locale (7), UTF-8 (7), Locale (5), Setlocale (3)을 참조하십시오. 그러나이 매우 미묘한 국제화 및 현지화 세부 사항을 더 이해해달라고 요구하지 마십시오. 그 주제는 매우 복잡합니다. 여전히 저에게 해당 작업이 필요하다면 [email protected] 에 직장에서 이메일을 보내주세요. 그러나 2024 년 이전에 나에게 행할 것으로 기대하지 마십시오.

추가 구성

.mjs 파일 확장자는 JavaScript 모듈 용입니다. /etc/mime.types 파일 ( libonion 에서 사용)이 알지 못하는 경우 다음 줄을 추가해야합니다 (아래의 첫 번째 줄, 해시 # 의 주석, MJ를 언급하는 줄은 중요한 것은 mjs 언급하는 것입니다).

 # in your /etc/mime.types for JavaScript modules
application/javascript                                 mjs

문서 생성에는 쓰기 가능한 $HOME/tmp/ directory가 필요합니다.

주요 인간의 책임있는 연락처는 contact_BM 파일로 제공되어야합니다 ( # 로 시작하는 의견은 내부에 허용되지만 John Doe <[email protected]> 에서 영감을 얻은 줄이 있어야합니다). 해당 파일은 현재 디렉토리 또는 홈 디렉토리에 있거나 --contact-file=PATH 와 함께 명시 적으로 제공되어야합니다. 내 ~/contact_BM 파일은 다음과 같습니다.

 # file $HOME/contact_BM
Bismon master (Basile Starynkevitch) <[email protected]>

추가 git 구성

store*.bmon 영구 데이터 파일에서 git diff 의 대화식 출력을 개선하기 위해 (이 제안을 조정하고 사용자 정의 덩어리 헤더를 정의하십시오) 원할 수도 있습니다. 아마도 git config diff.bismon.xfuncname '"^«_[0-9A-Za-z_]*$"' 에서 영감을 얻은 내용은 실제로 작동하지 않을 수도 있습니다.

건물

평소와 같이이 git 저장소를 복제 한 다음 구축 한 다음 얻은 소스 트리 안에 bismon 사용하십시오.

Makefile 살펴보고 필요한 경우 편집하십시오. 아마도 PREPROFLAGS= 및 LIBES= lines, 예를 들어 $(shell gcc-7 -print-file-name=include) PREPROFLAGS= line에 추가하여 시스템의 GCC libbacktrace 사용하고 LIBES= line에 $(shell gcc-7 -print-file-name=libbacktrace.a) 시스템의 GCC libbacktrace를 사용합니다. 물론 적절한 경우 7 x 8을 교체하십시오. 특정 GCC C 및 C ++ 컴파일러로 GCC= 및 GXX= 명시 적으로 설정해야 할 수도 있습니다.

make 거나 make -j3

지속성 메커니즘은 make redump 에 의해 테스트됩니다

./bismon 프로그램은 여전히 ​​GTK 및 Libonion을 사용하고 있습니다. 우리는 GTK를 제거하고 싶습니다. 그것은 bismongtk 및 bismonion 으로 교반합니다.

사용 가능한 프로그램 옵션을 --help 하려면 처음에는 bismon , bismongtk 또는 bismonion 을 실행하십시오.

기고자로 자신을 추가합니다

bismon (적어도 웹 버전)은 귀하에 대해 알아야합니다. 따라서 한 번 자신을 등록해야합니다 (그리고 그것은 지속적인 상태를 키울 것입니다). bismon (보다 정확한 bismonion )에는 로그인 양식이 있으므로 비밀번호가 있어야합니다 ( bismon 과 관련하여 다른 암호와 관련이 없습니다).

먼저 빈 비밀번호를 초기화해야합니다 (기본 비밀번호 파일은 ~/passwords_BM 이고 명령 줄에 다른 것을 지정할 수 있음). 따라서 명령 touch ~/passwords_BM 그런 다음 chmod u+rw,go-rwx ~/passwords_BM 사용하여 권한을 제한해야합니다 (UNIX 사용자가 읽을 수 있고 쓰기 가능). 마지막으로,이 파일이 비어 있고 읽을 수 있고 읽을 수 있는지 ls -ls ~/passwords_BM 에 확인하십시오.

그러면 스스로 등록 할 것입니다. Alan Turing 이 귀하의 이름 또는 Pseudo이고 [email protected] 이 주요 이메일 인 경우, 2 차 이메일이 turing@localhost 입니다. --contributor='Alan Turing;[email protected];turing@localhost' --batch 및-dump-after-load =와 비슷한 것을 실행하여 bismon 에 자신을 추가 할 수 있습니다 --dump-after-load=. 프로그램 옵션. 물론 Alan Turing , [email protected] 및 turing@localhost 당신에게 적합한 것으로 바꿔야합니다. 보조 이메일 (별칭이라고도 함)은 선택 사항입니다. 사용하지 않는 경우 (따라서 ALIA를 제공하지 않으면 turing@localhost 빈 문자열로 교체하십시오) bismon git 보다 더 이상 자신에 대해 알지 못합니다 ( user.email 및 user.name 의 GIT 구성 참조). git 에서 해당 개인 데이터 정보를 추출하여 bismon 에 넣기 위해 일부 쉘 스크립트를 코딩 할 수도 있습니다.

마침내 --add-passwords 옵션 (-batch 및--dump-load =.)을 사용하여 bismon 에 알려진대로 비밀번호를 설정해야합니다 ( --batch 나 --dump-after-load=. 에서 다른 비밀번호와는 관련이 없지만 Bismon에 알려진 10 개 이상의 유니 코드 문자와 숫자, 문자, 구두점이 있어야합니다. mypass!123456 임시 텍스트 파일 (기고자 /tmp/addpassbismon 과 명확한 텍스트에 업데이트 된 암호가 포함되어 있으므로 --add-passwords=/tmp/addpassbismon --batch 해서는 안됩니다), 아마도 /tmp/addpassbismon Alan Turing:mypass!123456 bismonion 물론 쉘 스크립트 랩핑을 더 잘 작성 하고이 README.md 에없는 충분한 암호를 갖도록해야합니다.

당신은 아마도 당신이 신뢰하고 당신과 함께 일할 수있는 다른 사용자 (아마도 수십 명 미만)를 추가 할 수 있습니다. 모든 사용자는 가능한 한 쉽게 bismon 시스템을 엉망으로 만들거나 남용 할 수 있습니다. 그런 다음 사용자가 유럽인 경우 GDPR을 준수해야합니다 (GDPR 준수는 귀하의 책임 입니다). 로그인 양식은 소스 파일 login_ONIONBM.thtml 에서 템플릿 ( web_ONIONBM.c 의 코드 포함)입니다 (원하는 경우 해당 파일 내부의 텍스트를 개선 할 수 있음).

bismon 사용

2018 년 7 월에 나 (BASILE)을 제외하고는 아직 사용할 수있는 것은 아닙니다 (아직 정적 소스 코드 분석이없고 아직 GCC 플러그인의 생성은 없습니다). gtk를 사용하여 무언가를보고 싶다면 ./bismongtk 실행 한 다음 New-Bismon 으로 표시된 명령 창에 the_system 입력 한 다음 Ctrl 과 Return Keys를 함께 누릅니다. 웹 인터페이스를 통해 무언가를보고 싶다면 ./bismonion 실행 한 다음 웹 브라우저에서 URL ( localhost:8086/ 또는 --web-base 로 지정된 것)을 열어보십시오.

한 번에 한 번 make clean 실행하는 것이 좋습니다 (예 : 매일 또는 매주). 파일을 생성 할 때 bismon 이전 버전을 백업합니다.

자세한 내용은 (Basile Starynkevitch, [email protected] 또는 [email protected] ...)에게 물어보십시오.

경고

이 git 리포지토리에는 webroot/jquery-ui 의 JQueryUi 1.12 프레임 워크 (다른 MIT 라이센스가있는)가 포함되어 있습니다.

비스 몬을 막기위한 쉘 스크립트

$HOME/bismon Bismon 소스 코드 및 실행 파일이 포함 된 경우 ( stopbismon 으로) 자신의 위험을 사용하십시오.

 #!/bin/bash -x
# script stopbismon
if [ -f $HOME/bismon/_bismon.pid ]; then
   kill -TERM $(/bin/head -1  $HOME/bismon/_bismon.pid)
else
   pkill bismon
fi	

NB

이것은 해제되지 않은 무료 소프트웨어입니다

라이센스 (GPLV3+)는 변경되지 않을 가능성이 높습니다 (전차 보조금에 계약 상 지정). 저작권 통지는 아마도 잘못되었을 것입니다. 생성 된 파일에서는 아직 GPL 기대에 부합하지 않습니다. 이러한 세부 사항은 버그가 보류되지만 더 많은 버그가 있습니다.

추신

저자는 2019 년 중반 에이 bismon 시스템의 몇 가지 버그 를 연구 프로젝트로 완전히 알고 있지만,이를 수정하는 것은 우선 순위가 아닙니다 ( Bismon 의 진보적 인 부트 스트랩을 계속하는 것이 훨씬 더 중요 하고 아직 달성되지 않았기 때문에). GTK 인터페이스는 설계 및 충돌로 자주 버기가되며 (수정되지 않음) 가능한 한 빨리 사용 가능한 웹 인터페이스로 대체되어야합니다. 이는 2019 년 중반에 진행중인 작업 중입니다. 저자에게 문의하여 가능한 해결 방법을 얻으십시오. 저자에게 알려진 이러한 임시 버그는 Bismon gitlab 문제로 등록되어 있지 않습니다 .이 소프트웨어는 아직 발표되지 않았기 때문입니다.

문서의 버그

Commit 24E400E4B25EA8FBD91에서 문서가 생성되지 않습니다.

• 관찰 1

파일 bismon-doc.tex 에서 input{appendix-bm} 제거 해당 버그를 해결하지 마십시오.

버그보고, 기능 요청, 문제

보고하는 선호하는 방법은 https://github.com/bstarynk/bismon에 새로운 문제를 추가하는 것입니다.

물론 문제는 독립적이어야합니다. bismon 구축 할 수 있다면 bismon --version 컴퓨터의 Version을 명시 적으로 제공하십시오.

문제가 bismon 실행 파일 구축과 관련이있는 경우, 실행 한 모든 Linux 명령을 명시 적으로 제공하십시오 ( distclean-script.bash 스크립트를 검사하고 성공적으로 실행 한 후 또는 신선한 git clone 명령 직후). git log -3 의 출력을 언급하십시오.

또는 ( github 문제를 추가하지 않으려는 경우), 이메일 (UTF-8 인코딩, HTML5는 바람직 함)을 영어 또는 프랑스어로 보내십시오 (또는 아마도 러시아어로는 (영어 또는 프랑스어로 이메일을 보낼 수없는 경우에만) [email protected] . 나는 영어 나 프랑스어로 대답하려고 노력할 것입니다 (러시아어가 너무 나쁘기 때문에).

스크린 샷을 보내야하는 경우 이메일에 JPEG 또는 PNG로 인코딩 된 이미지를 첨부하십시오.

여러 파일을 원하거나 보내야하는 경우, 여러 파일을 보관 해야하는 경우, 모든 파일을 고유 한 디렉토리 (베이스 이름 (1)에 문자, 자리 및 일부 밑줄 만 포함하는 _ )로 모든 파일을 보관하고 (1) 아카이브를 만듭니다. 아카이브를 추출하기 위해 (Linux에서) 실행 해야하는 tar 명령을 명시 적으로 알려주세요. Linux 컴퓨터에서 GNU Tar 버전 1.30 이상이 있다고 가정 할 수 있습니다.

bismon 에서 처리 할 C 또는 C ++ 코드를 보내면 영어, 프랑스어 또는 러시아어로 주석 (UTF8 인코딩)을 추가로 추가하십시오.

가능하면 일부 쉘 스크립트 (GNU Bash 또는 Zsh의 경우)를 추가하여 해당 버그를 재현하고 이메일 또는 버그 보고서에 해당 스크립트를 이름을 지정할 수 있습니다.

저의 고용주 (CEA 이외의 경우 ...)는 자금 조달, 공식 협업 등과 관련된 정보를 선호 할 수도 있습니다.