Displaying 20 results from an estimated 30000 matches similar to: "taint analysis tool on Xen"
2013 Mar 02
0
[LLVMdev] code for static taint analysis
Hi,
you have given the following link for the code of static taint analysis but
its showing the page not found error.
Can you just help me out.
*
"The code for static taint analysis (which should be similar to what you
need) is now publicly available. You can find the code at
https://github.com/thinkmoore/llvm-deps."
-- John T.
*thanks.
-------------- next part --------------
An
2015 Jul 17
2
[LLVMdev] static taint analysis in LLVM
Hello,
I want to know if LLVM support static taint analysis now ? and how to
implement static taint analysis code in term of LLVM pass or something else
?
can anyone help me?Thank you very much!
zhaoqian
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20150717/0236bed3/attachment.html>
2012 Jan 13
1
what to do about [abrt] full crash report kernel taint?
I have a machine with a recent install of centos
(2.6.32-220.2.1.el6.x86_64 kernel). It crashed 3 times this week, and
sent emails like the one below complaining about kernel taint. I've
gone back to a previous kernel to see if that helps, but otherwise I
don't know how to investigate this. What should I do?
Here's stuff from the log and one of the emails:
2012 Aug 10
3
[LLVMdev] The use-define chain in LLVM
Yes, this demanding comes from our recent research project.
If it's avaiable, could you send me the source code of taint-tracking analysis ?
I really appreciate your help. Thanks!
2012/8/9 John Criswell <criswell at illinois.edu>:
> On 8/9/12 12:40 AM, Jianfei Hu wrote:
>>
>> Maybe My statement is not clear. Take an example:
>> main.c:
>> int global;
>>
2019 Sep 12
3
Taint flow tracking
Let in a program a variable 'x' is tainted. There is an assignment 'y=x'
where y is untainted.
How to check the taintflow in the output or data flow graph ?
Any suggestions?
Thank you. Have a great day.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20190912/5bb3655c/attachment.html>
2016 Dec 29
1
Static analysis on TCP/IP stack
Hi
I hope this is the right mailing list to ask some questions related to the
llvm. I am new to llvm and I decided to use llvm to conduct static analysis
of the linux kernel( mostly on the TCP/IP stack). One thing is that whether
llvm support static taint analysis. Could you please give me some examples
if you have or do I have to implement it by myself. If so, any suggestions
available?
My
2012 Aug 09
0
[LLVMdev] The use-define chain in LLVM
On 8/9/12 12:40 AM, Jianfei Hu wrote:
> Maybe My statement is not clear. Take an example:
> main.c:
> int global;
> void fun(int array[], int i){
> array[i] = i + 1;
> global = i;
> }
>
> int main(){
> int arr[40], i = 0;
> fun(arr, 10);
> return 0;
> }
> Can I determine whether the value of arr array and global variable
> have changed
2007 Apr 05
1
FLAC: command line output
Hi,
I'm using the FLAC command line tool to encode my WAV files in some
directory to FLAC files.
Now I noticed sometimes the output of the tool is mostly like this:
flac -V --best "14 The Hose - Time Warp (Old Skull Mix).wav"
flac 1.1.4, Copyright (C) 2000,2001,2002,2003,2004,2005,2006,2007 Josh
Coalson
flac comes with ABSOLUTELY NO WARRANTY. This is free software, and you are
2016 May 19
1
Testing CFL alias analysis
Hi Geoff,
Thank you so much for the effort!
It's good to hear that cfl-aa didn't break anything. However, the fact
that it doesn't quite affect code generation is also concerning. I'll
definitely look into the issue.
On 05/19/2016 02:03 PM, Geoff Berry wrote:
> Hi Jia,
>
> We did some testing with CFL-AA enabled on an aarch64 OoO target on the
> llvm test-suite and
2008 Mar 07
2
Trouble using RESTful helper
Hi,
I am trying to get into this REST thing, I have a nested resource
whith the following route:
ActionController::Routing::Routes.draw do |map|
map.resources :members
map.resources :clubs do |club|
club.resources :members
end
map.connect '':controller/:action/:id''
map.connect '':controller/:action/:id.:format''
end
Everything worked ok for this
2007 Feb 24
0
after_create not creating the right object
I have 2 tables... club and forum, which use the "type" as I''m
subclassing the Club and Forum objects. Tables are:
clubs:
id
title
type
forums:
id
club_id
title
type
I''ve put an "after_create" callback in the Club as Club has_one Forum:
class Club < ActiveRecord::Base
after_create :create_forum
has_one :forum
def self.create_forum
# create it
2009 Jun 18
0
area of ellipses (car)
hi,
i am using this script on our webserver to plot data / draw ellipses
for a flex movie...
would like to add the areas of the ellipses to another legend just
like the means for
the distance.
the data looks like: x (dispersion), y (distance), Club (name of
the club for grouping)
thanks, sam
## usage: Rscript nikeScatter.R infile outfile level1 level2 minX maxX
minY maxY
## load
2005 Oct 26
2
validates_associated ... doesn't
Hi,
I think I''m missing some fundamental information here so hopefully
someone can help me. I have a model Club which has many members,
members of course belong to a Club. I''d like to ensure that when a
members is saved (saved/created/updated) only valid club_id''s are accepted.
I have a Club model (simplified) like this:
class Club < ActiveRecord::Base
2010 May 14
4
Tricky model situatione
I have two models Club and users. users are regular authenticated
users and some of them might create a club. A club can also have
members (essentially users) and there are attributes and models that
apply to member but not to users.
Here is what I have right now.
Club => belongs_to :user
User => has_many clubs (since a user can host multiple clubs).
Now how do I fit this member model
2004 Jun 07
0
new qdisc visualization tool
I have made a tool to have real time plots of enqueues, dequeues, drops,
size of queues, and time duration in queues with a tcl-tk interface, it
it availlable at http://rawsoft.org/
I would be happy if somebody tried it.
Note: for the tool to work, you have to compile 2 kernel modules, so you
have to have the kernel headers.
If you try it, please send a message to
2007 Jan 06
2
ubuntu packages patch
hi,
For compiz ubuntu packages, I made some patchs to have a behavior of
compiz nearer to metacity. All patch are made for compiz-0.3.6 and they
are more hacks or draft than good fix, i hope they can help.
http://gandalfn.club.fr/ubuntu/compiz-patch/90-fix-no-border-window-shadow.patch
This patch fix white boxes instead of shadows for gnome-panel and other
non-standard windows on AiGLX.
2015 Jan 10
0
Link-dest thinks file is newly created, but it isn't
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
What does --itemize-changes say about that file? Try using the stat
command on the various copies of it to see what is different about them.
On 01/09/2015 09:42 PM, Clint Olsen wrote:
> Hi:
>
> I've been using rsync for a couple years now. Unfortunately, I've
> made some changes on both ends, so it's unclear what could be
2015 Jan 10
2
Link-dest thinks file is newly created, but it isn't
Hi:
I've been using rsync for a couple years now. Unfortunately, I've made some
changes on both ends, so it's unclear what could be the culprit. I make
extensive use of --link-dest to provide a cheap "Time Machine"-like backup
for a Windows machine.
Source: Windows 7 running Cygwin (CYGWIN_NT-6.1 sith 1.7.33-2(0.280/5/3)
2014-11-13 15:47 x86_64 Cygwin)
Destination: Synology
2012 Aug 09
2
[LLVMdev] The use-define chain in LLVM
Maybe My statement is not clear. Take an example:
main.c:
int global;
void fun(int array[], int i){
array[i] = i + 1;
global = i;
}
int main(){
int arr[40], i = 0;
fun(arr, 10);
return 0;
}
Can I determine whether the value of arr array and global variable
have changed after the function call, fun(arr, 10), by LLVM API? It
could be more complicated considerring the nested function
2011 Aug 16
3
Bayesian Relative Survival Analysis in R?
Hi all,
May i know does R has packages or code to run "Bayesian Relative Survival Analysis"? I have look through Bayesian Survival Analysis(2001) by Joseph George Ibrahim<http://www.google.com/search?tbo=p&tbm=bks&q=inauthor:%22Joseph+George+Ibrahim%22>, Ming-Hui Chen<http://www.google.com/search?tbo=p&tbm=bks&q=inauthor:%22Ming-Hui+Chen%22>, Debajyoti