repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
smatch_string_list.c: separate string_list functions into their own file
2013-03-25
D
a
n Carp
e
nte
r
smatc
h
_strin
g
_list
.
c: s
e
p
ar
a
te
s
tr
i
ng_list functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpent
e
r
db: only lookup fu
n
ction pointers
once
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
annotate: use it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpente
r
helper
:
ignore pa
r
ens in expr_t
o
_var()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carp
e
n
t
er
overflow:
silence k
e
r
nel
f
alse positive
a
bout __pe
r
_cpu
_
offs
e
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Car
p
enter
kernel: recover
m
odule_
i
nit/exit(
)
f
u
n
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Carpenter
flow: pass the
sym_lis
t
t
o
the EN
D
_
F
I
L
E
_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: fi
x
up_kernel
.
s
h remove some mor
e
USER_DAT
A
tags
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: speedup
fi
l
l_db_call
e
r_info
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Ca
r
p
e
n
t
e
r
extra: improve += and
-
= handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpen
t
e
r
sval:
i
ntroduce sval_is_negative_min()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
sval: fix sval_binop_overflows() to accept different
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
introduce smatch_anno
t
a
t
e
.
c: anno
t
ate some comm
o
n
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpe
n
t
er
db
:
giv
e
up if the
r
e
are over 1000 return
e
d states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Car
p
enter
d
b:
f
ix
sl
o
w down c
a
used by recursive function c
a
lls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
D
a
n Carpenter
buf_size
:
false posit
i
ve
f
rom large "
i
mplied" implied
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan
C
a
rpen
t
er
helper: fix expr_to_s
t
r
(
) for fu
n
ction calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpenter
d
b
: remove
more user
d
ata
f
r
om start_xmit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan C
a
rpen
t
er
db: manually delete
some USER_DATA markers from t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-18
Dan Carpenter
ex
t
ra
:
move vanill
a
assigns into t
h
eir own funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpent
e
r
ranges: in c
a
st_rl()
s
ometimes
i
t's bette
r
to
j
ust
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
extr
a
: type bug handling asm expres
s
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
db: f
i
x bug
h
a
n
d
ling ':
'
c
h
ar
a
cter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
math: Use
function
c
a
l
l infor
m
a
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
D
an
Car
p
e
n
t
er
flow: hand
l
e POST_OPs corre
c
tly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
D
a
n Carpenter
buf_size
:
handle dma_alloc_attrs()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Da
n
Carpenter
extra
:
type bu
g
h
a
ndlin
g
for
l
o
o
p
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan
C
arpente
r
math: fix a couple type
b
ugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan
Car
p
enter
locking: fi
x
b
u
ild problem
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
user_data: the pointer r
e
turn
e
d from container_of(
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Car
p
ent
e
r
db: upda
t
e a d
e
bug
messa
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Car
p
enter
db:
c
h
ange th
e
file searched for stati
c
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
flow: fix a debug statem
e
nt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan C
a
rpenter
flow: save and restore the big_ex
p
ressio
n
_stack
wh
e
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan
Ca
r
p
enter
conditions: fix small s
i
g
nednes
s
b
u
g in compares
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Ca
r
pen
t
e
r
locki
n
g: ignore parenthesis
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
D
a
n Carpen
t
er
stack: turn o
f
f b
y
defau
l
t, and les
s
s
p
a
mmy always
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
signed: don't w
a
rn abou
t
assignments
t
o boolean
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Da
n
Carpente
r
lo
c
a
l_v
a
l
ues: n
o
t
a
ll the set val
u
es make
i
t to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
si
z
eof_param: ignor
e
strncat(a, b, sizeo
f
(b));
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
D
a
n Car
p
e
nter
kernel: handle
_
_ftrace_
b
ad_type
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpen
t
er
k
e
rnel: handle
find_next_b
i
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
db_info: save return v
a
lues in in-memory
d
ataba
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpente
r
check_kernel: preserve
ERR_PTR values passed
t
o
I
S_ERR_OR_NULL()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Ca
r
penter
c
h
eck_kernel: rename nonnull to valid_ptr
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpenter
Revert
"
kernel:
r
emove so
m
e unnee
d
ed code"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpenter
sizeof_param: fix false positives
with st
r
lcpy
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-07
Da
n
Carpenter
compare: handle
so
m
e assig
n
men
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan C
a
rp
e
nt
e
r
extra: shuffle
m
atch_
a
s
s
ig
n
a
bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
Carpenter
extra:
o
nly get t
h
e t
y
p
es one time in matc
h
_assign
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan C
a
rpenter
f
u
nc
t
ion_ptr: move
g
e
t_fnptr_na
m
e() to
s
matc
h
_
fu
n
ction_pt
r
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
db: fixup
_
kernel
.
sh: disc
a
rd caller_in
f
o from -
>
n
otifie
r
_c
a
ll
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Ca
r
pente
r
db:
f
ix
u
p_kernel
.
sh: onl
y
t
r
ack
t
he main
read/write
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
user_data: t
r
ack user
d
a
t
a
ac
r
oss assignme
n
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
Carpenter
smat
c
h_capped: get_imp
l
ie
d
_max() does not imp
l
ied c
a
p
p
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpen
t
er
buf_size:
e
xpo
r
t get_
r
e
al_array_size(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan
Carp
e
nter
extra: handle MOD_ASSIG
N
be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
an Carp
e
nt
e
r
d
b
: don't p
r
int
i
nf
o
rmatio
n
cal
l
er information f
o
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Ca
r
penter
func
t
i
o
n_ptrs:
tra
c
k parameters as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
Carpenter
func
t
i
on
_
ptrs
:
separate int
o
it
s
own file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-01
D
a
n
Carpenter
data
:
add snpri
n
t
f
to ker
n
el
.
sizeof_
p
a
ram
.
remove
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-28
Dan Carpente
r
buf_size
:
fi
x
a NULL dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-28
Dan C
a
rpenter
kernel: remov
e
s
ome
unne
e
d
ed code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Dan Car
p
enter
b
u
f_size: handle empty arrays on the end o
f
stru
c
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpenter
buf_siz
e
:
remove some dea
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Dan
Carpenter
local_va
l
ues: store possible value
s
o
f
stati
c
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpenter
flow: more inline fall out
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Da
n
Carp
e
nter
db
:
expo
r
t me
m
_s
q
l() so
c
he
c
k
s
can u
s
e
it
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Da
n
Carpe
n
ter
no_re
t
urn: anot
h
er pr
o
ble
m
wit
h
inline func
t
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpenter
ranges: f
i
x cas
t
ing
of
invalid range lists
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carp
e
n
ter
extra, f
u
n
ct
i
on
_
hooks
:
fix handli
n
g of casted function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
D
an Carpenter
R
e
v
ert "db: don'
t
c
r
eat
e
unused tables
i
n the in-memo
r
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Ca
r
pent
e
r
d
b: d
o
n't use function pointe
r
s for
c
aller i
n
fo on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: use
"
d
istinct"
t
o
a
v
o
id
duplicate f
u
nc
t
ion pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
a
r
p
e
nte
r
d
b: l
o
a
d gl
o
bal
func
t
ion
p
ointers into th
e
d
b
p
r
operly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan C
a
r
penter
db: remove dup
l
icate struc
t
p
o
inters to
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: fix ca
l
l
_implies
f
or the in-memory
d
atabase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
arpe
n
ter
db, func
t
io
n
_ho
o
ks: q
u
ery the d
b
after
proces
s
ing the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
d
b
: store
t
he value
o
f "x"
when you call f
r
ob(&x);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: pass po
i
nted at v
a
lue
s
t
o called functio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
d
b
: r
e
set the in-memory database after every function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan
Carpenter
db: ad
d
some d
e
bug
s
ta
t
e
ments for
inserts
into the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpe
n
ter
db: use
c
all_i
d
for
th
e
in-memory database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Ca
r
penter
db
:
a
d
d ca
l
l_id to call_impl
i
es,
r
eturn_state
s
and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan
Carp
e
nter
db:
r
enam
e
function
_
id i
n
the caller
_
info table
to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
arpe
n
ter
db: don't crea
t
e unused tables
i
n the in-memory dat
a
base
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n
Carpenter
db: do
n
't print
caller info fo
r
__buil
t
in f
u
ncti
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan
Carp
e
nte
r
db: use correct variable in mem
_
sql
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan
C
arpenter
extr
a
:
i
mprove unsigned comp
a
risons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan
C
a
r
penter
ran
g
es: don't d
o
u
n
needed allocations in cast_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
ra
n
ges: introd
u
c
e rl_t
y
p
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpe
n
ter
d
b
: use
in-memory databas
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
d
b
: move
a
n option_no_db
c
h
e
ck to run_sql()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpen
t
er
flow, db:
r
ename
s
hould_inline() to
inli
n
able() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpent
e
r
return
s
: add a check for __inli
n
e_f
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
d
b
, flo
w
: ma
k
e __inline_fn a p
o
inter to the function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan
Carpe
n
ter
db:
S
QL formatting bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Da
n
C
a
rpenter
db: save caller_i
n
fo
f
o
r inl
i
ne function pro
p
er
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpen
t
er
db: s
i
l
e
n
c
e
a compile war
n
in
g
on 32
bit (use %zd for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
D
an Carpente
r
db: intro
d
uce s
q
l_sele
c
t_
c
all_implies()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next