ehsan/js-symbolic-executor ehsan/js-symbolic-executor

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Java
  • License
    Apache License 2.0
  • Created about 9 years ago
  • Updated about 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ehsan/js-symbolic-executor
github

ehsan

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Automatically exported from code.google.com/p/js-symbolic-executor

More Repositories

1

ogre

A mirror of Ogre 3D engine's source code
C++
105
star
2

msvc2013onwine

Python
19
star
3

mozilla-cvs-history

A copy of the Mozilla CVS repository, converted to Git
C++
14
star
4

opengles-book-samples

Git mirror of opengles-book-samples
C
14
star
5

mozilla-history

Complete history for the Mozilla project
C++
13
star
6

popup-reporter

An extension to help curate a dataset of pages that show in-page pop-ups
CSS
12
star
7

gl-samples

Sample OpenGL applications compiled to WebGL using Emscripten
C
10
star
8

chromium-audio-samples

Racket
6
star
9

libunwind

libunwind with Android ARM support
C
5
star
10

wesnoth

Git mirror of "Battle of Wesnoth"
C++
5
star
11

jdisretarded

JDB as a tool is retarded!
Java
4
star
12

supertux

A mirror of the supertux git repository
C++
3
star
13

scavenger

Find cryptojackers on the Web
Python
3
star
14

how-browsers-work

Slides for my talk, "How Browsers Work"
JavaScript
3
star
15

namedargs

A proposal for adding named arguments to C++
2
star
16

convert_cvs_to_git

A simple script to convert a CVS repository into a Git repository
Shell
2
star
17

clangxr

A source code indexer for C, C++ and Objective-C based on libcang
2
star
18

webaudio-tests

My simple test cases for Web Audio
2
star
19

angle

C++
1
star
20

nouatest-crowdsource

A script to run the Firefox updater tests with the Windows service on different versions of Windows
C++
1
star
21

scavenger2

Python
1
star
22

test

C++
1
star
23

update-profiling

The script I use to update the profiling branch
Shell
1
star
24

ehsan.github.com

ehsan's github pages
1
star
25

llvm

My fork of the LLVM repository
C++
1
star
26

ois.js

A Javascript port of the OIS library
C++
1
star
27

editing

A specification and tests for editing-related features of the web platform
JavaScript
1
star
28

clang-format-reformat-branch

A script for Mozilla developers to rebase their local changes after the tree-wise reformat to the Google C++ Style
Python
1
star
29

land

Shell
1
star
30

clang

My fork of the Clang repository
C++
1
star