Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
The diff you're trying to view is too large. We only load the first 3000 changed files.
1 change: 1 addition & 0 deletions .coverage

Large diffs are not rendered by default.

26 changes: 9 additions & 17 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,20 +1,14 @@
# My PhD
#### Using Deep Learning to find bugs in Cyber Physical System Tool chain
The purpose of this project to test and find bugs in cyber-physical system development tool chains such as Simulink

This is the forked repo of Chris Cummins Phd Folder.
This is the working copy of the Project for 6324

The work is inspired by
1. Chris Cummins, Pavlos Petoumenos, Alastair Murray, Hugh Leather.
"**DeepSmith: Compiler Fuzzing through Deep Learning**".
ACACES '18.
[[source code]](/docs/2018_07_acaces).
[[pdf]](https://chriscummins.cc/pub/2018-acaces.pdf).
The prototype implementation is developed extending DeepSmith code base.

####How to use
The entire project is built using [Bazel](https://bazel.build), with a
preliminary [configure](/configure) script to setup the build.

Please create virtual environment so that the installation doesnot conflict with system wide installs.
This project can only be built on a modern version of Ubuntu Linux . There are issues on macOS
This project can only be built on a modern version of Ubuntu Linux . There are issues on macOS right now.

#### Installing Ubuntu requirements

Expand All @@ -32,7 +26,7 @@ $ sudo apt install -y --no-install-recommends \
```

Please note that this list of packages is for Ubuntu 18.04. On older
distributions some of the packages may not exist. For example, Ubuntu
distributions, some of the packages may not exist. For example, Ubuntu
distributions prior to 16.10 require a custom PPA to provide the `python3.6`
package.

Expand All @@ -43,9 +37,7 @@ $ curl -L -o /tmp/bazel.sh https://github.com/bazelbuild/bazel/releases/download
$ sudo bash /tmp/bazel.sh && rm /tmp/bazel.sh
```

macOS installation requirements are on Chris's repo. But the installation is not straightforward and have issues.

Install the requirements which are common across platforms:
Now install the requirements which are common across platforms:
Install julia :


Expand All @@ -59,7 +51,7 @@ $ julia
Clone this project:(as of now clone in /var directory)

```
$ git clone https://github.com/50417/phd.git
$ git clone [repo]
$ cd phd
```

Expand All @@ -84,7 +76,7 @@ $ source $PWD/.env
```

Now build or test whatever bazel targets you'd like. Use `bazel query //...` to
list the available targets. E.g. to run the entire test suite, run:
list the available targets. E.g. to run the specific test suite, run:

```bash
$ bazel test //lib/labm8:fs_test
Expand Down
1 change: 1 addition & 0 deletions deeplearning/clgen/.coverage
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
!coverage.py: This is a private format, don't read it directly!{"lines":{"/Users/sohilshrestha/Desktop/phd/deeplearning/clgen/corpuses/__init__.py":[1],"/Users/sohilshrestha/Desktop/phd/deeplearning/clgen/corpuses/test_atomizers.py":[1,2,3,5,6],"/Users/sohilshrestha/Desktop/phd/deeplearning/clgen/corpuses/atomizers.py":[],"/Users/sohilshrestha/Desktop/phd/deeplearning/clgen/corpuses/encoded.py":[],"/Users/sohilshrestha/Desktop/phd/deeplearning/clgen/corpuses/corpuses.py":[],"/Users/sohilshrestha/Desktop/phd/deeplearning/clgen/corpuses/features.py":[],"/Users/sohilshrestha/Desktop/phd/deeplearning/clgen/corpuses/errors.py":[],"/Users/sohilshrestha/Desktop/phd/deeplearning/clgen/corpuses/atomizers_test.py":[],"/Users/sohilshrestha/Desktop/phd/deeplearning/clgen/corpuses/preprocessed.py":[]}}
15 changes: 15 additions & 0 deletions deeplearning/clgen/__init__.cover
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
"""CLgen is a Deep learning program generator.

CLgen is an open source application for generating runnable programs using
deep learning. CLgen learns to program using neural networks which model the
semantics and usage from large volumes of program fragments, generating
executable programs that are representative of, but distinct from,
the programs it learns from.
1: """

1: __author__ = "Chris Cummins"
1: __copyright__ = "Copyright 2016, 2017, 2018 Chris Cummins"
1: __license__ = "GPL v3"
1: __maintainer__ = __author__
1: __email__ = "chrisc.101@gmail.com"
1: __status__ = "Prototype"
128 changes: 0 additions & 128 deletions deeplearning/clgen/conftest.py

This file was deleted.

1 change: 1 addition & 0 deletions deeplearning/clgen/corpuses/.coverage
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
!coverage.py: This is a private format, don't read it directly!{"lines":{}}
Loading