cuplv/droidel cuplv/droidel

  • Stars
    star
    45
  • Rank 624,037 (Top 13 %)
  • Language
    Java
  • License
    Apache License 2.0
  • Created over 10 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
cuplv/droidel
github

cuplv

Reviews

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

Repository Details

Framework model for static analysis of Android

More Repositories

1

hopper

Goal-directed static analysis tool for JVM languages.
Scala
56
star
2

text-to-sql-wizardcoder

Leveraging large language models for text-to-SQL synthesis, this project fine-tunes WizardLM/WizardCoder-15B-V1.0 with QLoRA on a custom Spider training dataset. The resultant model, achieves 61% execution accuracy, incorporating database context for validation.
Jupyter Notebook
43
star
3

thresher

Static heap reachability analysis for Java bytecode and Android memory leak finder.
Java
31
star
4

dai

DAI: Demanded Abstract Interpretation
OCaml
15
star
5

adapton-lab.rust

Adapton Lab, written in Rust.
Rust
15
star
6

iodyn-lang.rust

IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
Rust
14
star
7

raz.ocaml

Random Access Zipper in OCaml
OCaml
13
star
8

iodyn.rust

Collections Library for Adapton, in Rust
Rust
13
star
9

chimpcheck

Combinator Library for writing test generators and test properties for Android Apps
Java
12
star
10

biggroum

Top-level project for the graph extraction
Python
8
star
11

dist-prog-19sp

Distributed Programming reading group (Spring 2019)
7
star
12

adapton-talk

Talks about Adapton
6
star
13

IC_Edit

Feature-rich text editor written simply, running efficiently with incremental computation by Adapton
Rust
6
star
14

incremental-flashfill

Incremental FlashFill (http://research.microsoft.com/en-us/um/people/sumitg/pubs/popl11-synthesis.pdf)
Rust
6
star
15

Historia

Application only analysis of event-driven Android applications using message history logics.
Scala
5
star
16

ScalaBashing

A higher level library for shell scripting in Scala
Scala
4
star
17

TraceRunner

Tool for generating dynamic traces of android applications.
Java
3
star
18

Fixrbot

Fixrbot is a GitHub App that analyses the API usage patterns.
TypeScript
3
star
19

lettuce-language

Lettuce
Scala
3
star
20

walautil

WALA utility methods for Scala projects.
Scala
2
star
21

Waldo

Waldo library for proving indistinguishability properties in F*
F*
2
star
22

FixrGraphExtractor

Scala
2
star
23

verivita

Dynamic verification using callbacks
Python
2
star
24

FixrGraphPatternSearch

Implement the search of a pattern from a GROUM
Python
1
star
25

discard

Haskell
1
star
26

Quark

Jupyter Notebook
1
star
27

FdroidDownloader

A (formerly Scala) Python program to download fdroid apps.
Jupyter Notebook
1
star
28

DPDEBUGGER

Differential Performance Debugging with Discriminant Regression Trees
Python
1
star
29

js_value_refiner

Demand-Driven Value Refinement for JavaScript
Scala
1
star
30

cuanto

Scala
1
star
31

Java-Bytecode-Instrumenter

This tool analyses Java bytecode and generates a cost model for Java applications
Java
1
star
32

vmfuture

The VM of the Future: The middle way that balances between static and dynamic language techniques
Rust
1
star
33

FixrGraphIso

Implementation of the approximate graph isomorphism
C++
1
star
34

cuplv.github.io

Website for CU Programming Languages and Verification (CUPLV)
HTML
1
star
35

icedit-calc

Core calculus for IC-Edit, our Incremental Computation-based Editor.
Makefile
1
star
36

droidstar

DroidStar is an active learning tool that synthesizes behavioral specifications for event-driven framework classes that explain how and when their callbacks occur.
Java
1
star
37

Schmit

Quantitative Mitigation of Timing Side Channels
Python
1
star