Benjamin Bannier

We currently allow the implementation of hooks defined in another module without requiring the module to be imported, e.g., given a module `a` ```.ruby # a.hlt module a { import...

Add end-to-end file analyzer example.

3

Add end-to-end file analyzer example. _Originally posted by @rsmmr in https://github.com/zeek/spicy/issues/441#issuecomment-659955932_

`CodeGen::typeDependencies` does not emit all dependencies

2

We use `CodeGen::typeDependencies` to compute dependencies of a type, e.g., when emitting linker joins. The intention for this function is to recurse over a type and all its fields and...

Bring types result/error to Spicy and flesh them out further

1

Spicy doesn't have the `result` and `error` types yet that HILTI offers. Need to bring them to Spicy, and also review how/if the runtime library for both HILTI and Spicy...

We currently do not make sure to only throw our runtime or other exceptions from our runtime libraries, e.g., we might still leak exceptions from the stdlib. We should check...

Even with the change from ff0fbdc99787f2358ef9da1a872a090fd072eb49 for #571 the following still fails: ```.cpp /spicy/hilti/runtime/src/tests/fmt.cc|28| ERROR: CHECK_EQ( fmt("%.16d", -std::numeric_limits::infinity()), " -inf" ) is NOT correct! || values: CHECK_EQ( - inf, -inf...

When generating C++ code for globals we might invoke code which assumes that a block exists does not hold. The `GlobalsVisitor` first constructs lists of all `cxx::declaration::Global`s by [dispatching on...

The following discussion from !41 should be addressed: - [ ] @bbannier started a [discussion](https://maestro.corelight.io/bro/spicy/merge_requests/41#note_51343): (+3 comments) > I am not really happy with the location we emit here, ideally...

Optimize JIT code

6

Currently we compile individual C++ units with `-O3` when JITing in non-debug mode, we don't however apply any cross-module optimizations after linking them all together. We should add that when...

Even though we currently do not render Doxygen output, we still try to document some interfaces with it. We should consider validating that these comments are correct, e.g., by adding...