jay2013
Follow
-
Qilin Public
Forked from QilinPTA/QilinQilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis
Java GNU Lesser General Public License v2.1 UpdatedDec 25, 2022 -
-
T.J. Watson Libraries for Analysis
Java Eclipse Public License 2.0 UpdatedAug 9, 2018 -
-
ninja Public
Forked from ninja-build/ninjaa small build system with a focus on speed
C++ Apache License 2.0 UpdatedJun 14, 2017 -
-
cclyzer Public
Forked from plast-lab/cclyzerA tool for analyzing LLVM bitcode using Datalog.
Python MIT License UpdatedMay 12, 2017 -
jphantom Public
Forked from gbalats/jphantomA tool for Java program complementation.
Java UpdatedApr 24, 2017 -
-
-
-
soot Public
Forked from soot-oss/sootSoot - A Java optimization framework
Java GNU Lesser General Public License v2.1 UpdatedDec 23, 2016 -
-
-
-
-
-
bash-completion Public
Forked from scop/bash-completionProgrammable completion functions for bash
Shell GNU General Public License v2.0 UpdatedAug 6, 2016 -
whole-program-llvm Public
Forked from travitch/whole-program-llvmA wrapper script to build whole-program LLVM bitcode files
Python MIT License UpdatedAug 1, 2016 -
GenerateControlFlow Public
Forked from clownice/GenerateControlFlowUsing soot to generate control flow
Java UpdatedJun 3, 2016 -
UCASthesis Public
Forked from xiaoyao9933/UCASthesisa LaTeX template for UCAS (Currently support ICT and IIE, please find IIE version in branches.)
TeX UpdatedMay 23, 2016 -
slang4JVM Public
Forked from bvaisakh/slang4JVMSlang's java port with bytecode generation support
Java UpdatedApr 27, 2016 -
-
-
synchrobench Public
Forked from gramoli/synchrobenchA benchmark to compare synchronization techniques for multicore programming
Java UpdatedOct 1, 2015 -
doop-pldi15-tutorial Public
Forked from plast-lab/doop-pldi15-tutorialTutorial site for PLDI 2015
CSS UpdatedJun 15, 2015 -
-
slang-python Public
Forked from faisalp4p/slang-pythonPython Port of SLANG.NET Compiler http://slangfordotnet.codeplex.com/
Python MIT License UpdatedJan 19, 2015 -
editor Public
Forked from sunnapu/editorEditor for writing books using GitBook (for Windows, Mac and Linux)
JavaScript Apache License 2.0 UpdatedNov 29, 2014 -
The-Art-Of-Programming-By-July Public
Forked from julycoding/The-Art-Of-Programming-By-July-2nd此为《程序员编程艺术：面试和算法心得》的初稿，于14年6月转移到Word上优化，纸质版15年上市
C UpdatedNov 6, 2014