OCaml代写代考

# C Static Analyzer The goal of this homework is to implement a static analyzer that detects potentially vulnerable data flows from source points to sink points (so called taint analysis) in C programs. Copyright By PowCoder代写 加微信 powcoder Students will write the following functions in [src/analyzer.ml](src/analyzer.ml) based on the definitions in the lecture slides:

#! /bin/sh . ./ocaml_version.sh dune utop src

#! /bin/sh . ./ocaml_version.sh dune exec bin/viz.bc

## How to use utop Utop is an incredibly useful tool to have when you’re writing OCaml. If you don’t already have it, you can install it through opam (`opam install utop`). Here’s a few tips you might find useful. Utop is based off the original toplevel for OCaml, which you can use by just

#! /bin/sh . ./ocaml_version.sh dune runtest -f

# Discussion 3: Introduction to OCaml ## Introduction This exercise consists of a few short functions to help you familiarize yourself with OCaml. You can review the content of the discussion in [notes.rb](notes.rb), which includes the topics and examples from the discussion video. Also, check out [utop-tutorial.md](utop-tutorial.md) for an introduction to using `utop`. ### Testing

OCAML_VERSION=$(ocaml –version | rev | cut -d’ ‘ -f 1 | rev) if [ $OCAML_VERSION = ‘4.11.0’ ] ; then export OCAMLPATH=dep else echo ‘You must have OCaml version 4.11.0 for this project.’ echo $OCAML_VERSION ‘ is not valid.’ fi