User Tools
инструмент_semgrep
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
инструмент_semgrep [2026/03/18 11:55] val |
инструмент_semgrep [2026/04/10 11:31] (current) val |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| * [[https://semgrep.dev/]] | * [[https://semgrep.dev/]] | ||
| + | * Приложение на Python [[Язык программирования Python#Flask Gunicorn]] | ||
| + | * Dockerfile [[Технология Docker#Приложение python pywebd]] | ||
| + | |||
| + | * В случае недоступности semgrep.dev добавить: -e https_proxy=http://proxy.isp.un:3128/ | ||
| <code> | <code> | ||
| - | ~/pywebd# docker run --rm -v "${PWD}:/src" -e https_proxy=http://val2.bmstu.ru:3128/ semgrep/semgrep semgrep --config=auto --error . && echo OK || echo Problems | + | ~/pywebd# docker run --rm -v ${PWD}:/src semgrep/semgrep 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> | ||
| + | |||
инструмент_semgrep.1773824158.txt.gz · Last modified: 2026/03/18 11:55 by val
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
