Lab 4: DatalogDatalog代写 n this lab, you will implement two static analyses using a declarative logic programming language, Datalog.Declarative Spring Semester 2018Due: March 19, 8:00 a.m. Eastern Time Corresponding Lecture: Lesson 7 (Constraint Based Analysis)Objective Datalog代写In this lab, you will implement two static analyses using a declarative logic programming language, Datalog. Declarative languages like Datalog are different from imperative languages like C in that they specify what the program should accomplish but not how the program should accomplish it.For those without experience in declarative languages, Datalog relations are similar to SQL (Structured Query Language) queries. The analyses you will implement are modified-reference (mod-ref) analysis and method-escape analysis. Both analyses are flow-insensitive, context-insensitive, may (as opposed to must), and interprocedural (requiring reasoning across method boundaries).Resources Datalog代写Petablox repository:https://github.com/petablox-project/petabloxPetablox user guide:https://github.com/petablox-project/petablox/wikiHow to write an analysis in Datalog:https://github.com/petablox-project/petablox/wiki/Datalog-AnalysisPredefined relations:https://github.com/petablox-project/petablox/wiki/Predefined-AnalysesSetupDownload zipfrom Canvas. When uncompressed, it will produce the directoryDatalog/.Build the example Java program to be analyzed (TestCase) by running antin the directory Datalog/examples/test_case/. This will produce the subdirectory classes/.Write your mod-ref analysis in the file Datalog/src/modref.dlogand your method-escape analysis in the file Datalog/src/escape.dlog. See below for more details on these analyses.Datalog代写To run your analyses, run the following commands in Datalog/:You can find the output of the analyses under the directoryDatalog/examples/test_case/petablox_output/.Sample outputs for the test cases are provided inDatalog/sample_output/.We have provided a script shthat you can use to verify your analyses against the provided sample output. From the Datalog/ directory, grant the script execute permissions with the command chmod +x compare.sh and then use the command./compare.sh modref or ./compare.sh escape to execute the script. The script output will indicate how closely your most recent analysis run matches the sample solutions. Note that you may receive an error for test cases you have not yet executed.Datalog代写

所有的编程代写范围：essayghost为美国、加拿大、英国、澳洲的留学生提供C语言代写、代写C语言、C语言代做、代做C语言、数据库代写、代写数据库、数据库代做、代做数据库、Web作业代写、代写Web作业、Web作业代做、代做Web作业、Java代写、代写Java、Java代做、代做Java、Python代写、代写Python、Python代做、代做Python、C/C++代写、代写C/C++、C/C++代做、代做C/C++、数据结构代写、代写数据结构、数据结构代做、代做数据结构等留学生编程作业代写服务。