mirror of
https://github.com/NixOS/nixpkgs.git
synced 2026-10-30 16:10:36 +00:00
ed3c381359
Build the bundled Rust Claripy implementation with Nixpkgs' Z3 and upstream Unicorn. Support the existing cxxheaderparser and LMDB versions. Add a core analysis smoke test, expose the llm and telemetry optional dependencies, and retain the upstream MCP launcher. https://github.com/angr/angr/releases/tag/v10.0.4 Assisted-by: OpenAI Codex (GPT-6)
14 lines
233 B
C
14 lines
233 B
C
#include <stdint.h>
|
|
|
|
__attribute__((noinline)) int choose(uint32_t value) {
|
|
if (value == 0x1337U) {
|
|
return 42;
|
|
}
|
|
return 7;
|
|
}
|
|
|
|
int main(int argc, char **argv) {
|
|
(void)argv;
|
|
return choose((uint32_t)argc);
|
|
}
|