This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
|
инструмент_semgrep [2026/03/18 08:51] val created |
инструмент_semgrep [2026/04/10 11:31] (current) val |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Инструмент Semgrep ====== | ====== Инструмент Semgrep ====== | ||
| + | * [[https://semgrep.dev/]] | ||
| + | |||
| + | * Приложение на Python [[Язык программирования Python#Flask Gunicorn]] | ||
| + | * Dockerfile [[Технология Docker#Приложение python pywebd]] | ||
| + | |||
| + | * В случае недоступности semgrep.dev добавить: -e https_proxy=http://proxy.isp.un:3128/ | ||
| <code> | <code> | ||
| - | (venv1) client1:~/pywebd# pip install semgrep | + | ~/pywebd# docker run --rm -v ${PWD}:/src semgrep/semgrep semgrep --config=auto --error . && echo OK || echo Problems |
| - | (venv1) client1:~/pywebd# semgrep --config=auto --error . && echo OK || echo Problems | + | ~/pywebd# cat app.py |
| + | </code><code> | ||
| + | ... | ||
| + | # nosemgrep | ||
| + | app.run(host="0.0.0.0", port=pywebd_port, debug=True) | ||
| + | # app.run(host="127.0.0.1", port=pywebd_port, debug=False) | ||
| </code> | </code> | ||
| + | |||