User Tools

Site Tools


инструмент_semgrep

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
инструмент_semgrep [2026/03/18 11:55]
val
инструмент_semgrep [2026/03/18 11:56] (current)
val
Line 4: Line 4:
  
 <​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
 </​code>​ </​code>​
инструмент_semgrep.txt · Last modified: 2026/03/18 11:56 by val