Mohannad Alhanahnah

Building docker image on ubuntu 18.04

3

I'm trying to build the docker image using the provided instructions I'm using the following ubuntu machine (I used this command `uname -a`) ``` Linux ma481-ub 5.4.0-64-generic #72~18.04.1-Ubuntu SMP Fri...

Linking issue while building memcached using gLLVM

1

I'm using the scripts `Makefile` and `Makefile_libevent` from https://github.com/SRI-CSL/OCCAM-Benchmarks/tree/master/examples/portfolio/memcached to generate the bitcode of Memcached. But I'm receiving the following error: ``` gclang -g -O2 -Wall -Werror -pedantic -Wmissing-prototypes -Wmissing-declarations...

pread error while running nginx

10

I'm running nginx using KLEE using this command `~/Downloads/build_klee/bin/klee --libc=uclibc --posix-runtime ../objs/nginx.bc`. But I receive this error `nginx: [crit] pread() "/usr/local/nginx/nginx.conf" failed (9: Bad file descriptor)`. However, I don't receive...

Can Phasar be used to identify control-dependent instructions

6

I'm using phasar taint analysis to identify data-dependent and control-dependent instructions on `argv`. ``` psr::IDEExtendedTaintAnalysis TaintAnalysis(&IR, &T, &I, &P, Config); TaintAnalysis.setIFDSIDESolverConfig(SolverConfig); std::stringstream SolverConfigStr; SolverConfigStr

empty -m flag will use azure

1

The assumption here azure is the default config to access openai, not openai itself.

support azure via -m flag

4

Azure can be provided using the flag `-m` without the need to make modifications to the`llm_config`. Here is an example `python3.11 examples/basic/chat.py -m azure`

Neo4j relies on the docker image not Aura cloud @pchalasani we need to add neo4j env vars in GitHub settings.

Running CHISEL with customized LLVM & Clang locations

1

I'm trying to build CHISEL from source, but I don't want to install LLVM on my machine, instead, I downloaded the binary and source of Clang and LLVM (I didn't...