When folders are double clicked in the folder as workspace dock, it tries to open them like regular files.

Running the following piece of code with js_of_ocaml crashes the node environment (it generates a too large string, and memory consumption grows unbounded). Running the same code as a binary direct...

Description of the problem as discussed in Zulip the documentation of Definition with Eval is unsatisfactory. A user might more look under Eval or eval to find ways to do evaluated definitions than...

Describe the bug ❯ semgrep -h Usage: semgrep -h [OPTIONS] [TARGET]... Try 'semgrep -h --help' for help. Error: No such option: -h To Reproduce $ semgrep -h Expected behavior -h shou...

It would be good to document the AST clearly/well.

Describe the bug With certain Semgrep community rules, using the SARIF export option results in invalid SARIF. In the example below, it outputs a SARIF rule with nested tags. See the tags section n...

When the scope events command is run, events are displayed in the order in which they are flushed to disk/network, which isn't always entirely chronological. For example, console events are...

Is your feature request related to a problem? Please describe. When I'm writing a rule, I want to know what values I can put in the languages key. For example, for Terraform, should I put t...

It currently uses a quintuple and it's a little ridiculous 😅

The library is poorly tested at the moment with only a few examples of JSON parsing, it would be good to increase this by adding more validity checks, see for example: Some tests in the Rust librar...

At the start of most Geojson parsing we check the type of the JSON to ensure we are trying to parse the correct type of geometric primitive. For example: ocaml-geojson/src/geojson/geojson.ml Line 9...

Currently Geojsonm supports mapping and folding over geometries and properties and it would be good to add equivalent iter functions that look something like: val iter_geometry : (G.Geometry.t -&am...

Currently the library fails to build on this older compiler version, it would be good to get it working there. At the moment, it fails because of package constraints meaning Ezjsonm gets installed ...

» semgrep --test --json . | head { "config_missing_tests": [], "config_with_errors": [], "results": { "unsafe-exec.yaml": { &...

I'm not sure if this is a good idea to initialize the clients and their state outside of the function they're being tested in. I feel it's probably best if we spawn the clie...

Code like have {H}H : ... triggers a cryptic warning. It should suggest to write have {}H : ... instead. See also: https://coq.zulipchat.com/#narrow/stream/237664-math-comp-users/topic/duplicate.20...

Running magic trace without -symbol prints out [Couldn't find symbol. Will still snapshot on end] even though that is expected.

Currently, on this line: jobsub_lite/lib/creds.py Line 29 in c26e363 f.close there's a call to f.close. This should be f.close()

It should, because those processes are still traceable.