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
show_unreachable.sh: change the line number format
2013-04-19
Dan Carpenter
show
_
unreachable
.
sh: ch
a
n
g
e the li
n
e
number forma
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
Dan Carpenter
show_unr
e
acha
b
le
.
sh: re
p
lace tabs with
s
paces
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-18
Dan Carpente
r
db: k
e
rne
l
: fake
up
-
>read/write()
l
imits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpent
e
r
d
b:
s
t
ore "too common" fu
n
ctions i
n
the
d
atabase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n Carpenter
para
m
_
c
l
e
ared: clear_buf
f
e
r: add t
h
em to the check_lis
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n Carpenter
extr
a
:
d
on't use the in
d
irect_modificati
o
n_h
o
ok
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
e
x
t
ra: make param_filter s
e
t_extr
a
_mod()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan C
a
rpente
r
ros
e
nber
g
: remove
p
ahole dependency
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpe
n
ter
par
s
e
: a
d
d
a big hack to track pa
c
ked struc
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan
C
arpenter
*n
e
w*
smatch_cl
e
ar_buffer
.
c: handl
e
mem
s
et()
type
funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpente
r
p
a
ram
_
l
imit/
f
ilter:
ig
n
ore whole ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpe
n
ter
r
a
n
ges: an
emp
t
y range is not a whole rang
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpent
e
r
extra: remove
s
ome
d
ea
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpente
r
extr
a
: sma
l
l fix for w
h
en t
h
e database i
s
disabled
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan
C
ar
p
enter
db: always s
p
lit the return values if we're not using
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpen
t
e
r
cond
i
tions:
u
se set
_
extra_expr_mo
d
() t
o
chan
g
e
ext
r
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan
C
arpenter
user
_
data: compat
s
yscall parameters are user dat
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
D
an Carpenter
user_data: u
s
ing a
u
ser supplie
d
offset into an
k
nown
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
locking: add som
e
more bh lock functio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-12
D
an Carpen
t
er
Me
r
ge branch
'
rfc-
a
ttribute-st
r
uct' of git://gi
t
.
k
ern
e
l
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
Dan Car
p
enter
check_der
e
f: disable "potential NULL dereference" b
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-10
Dan Carpenter
lo
c
king: add local_
b
h_disa
b
le/enable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-09
D
a
n Car
p
enter
locking
:
handle null vs non-NULL returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
locking: upda
t
e val
i
dation/
t
ests to
the new warn
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carp
e
n
t
er
function_ptrs:
"
(*ptrs[0]
)
(a, b)" is the same as "ptrs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan C
a
rpenter
fun
c
t
i
on_ptrs: recor
d
when func
t
ion pointer is
saved
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
ros
e
nberg:
remove some structs which don'
t
have ho
l
es
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpen
t
er
r
o
s
enberg: chec
k
for nla_put info
lea
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan C
a
r
p
enter
flo
w
: fake memb
e
r and element
a
ssignments
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Da
n
Carpenter
e
xpressions: introduce array_element_e
x
pre
s
sion()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
locking: take returns valu
e
s into consideratio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Carpen
t
er
check_k
e
rn
e
l: lo
o
k hard
e
r fo
r
th
e
conta
i
ner_of()
m
acro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
impl
i
ed
:
db
:
fix ho
w
returns are brok
e
n a
p
art
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
an Carpe
n
t
er
db: return_id wa
s
set incorrect
l
y when inline func
t
ions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpente
r
db
:
fix ho
w
the
ret
u
rn v
a
lues are
c
aste
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-04
Da
n
C
arpenter
helper: make is_
a
rra
y
(
) accept NULL p
o
inters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
d
b: f
u
n
c
tion_ptrs: do
better at function pt
r
to function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
D
an C
a
rpenter
flow:
c
reate fake assign
m
ents
f
or array dec
l
ar
a
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpente
r
f
l
ow: expressions
:
d
on't try updatin
g
to uninitialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan
C
arpenter
db: fi
x
up_ker
n
el
.
sh: (stru
c
t m
I
SDNchannel)-
>
s
e
n
d infor
m
ation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
db: fixup_kernel
.
s
h: record wher
e
->notifier_call i
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpen
t
e
r
flow: ha
n
d
l
e
i
nlines better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
D
a
n
Ca
r
penter
d
b: function_ptr
s
: track pointer t
o
point
e
r assign
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Da
n
Carpenter
m
ath: si
l
ence
som
e
b
u
ffer
overf
l
ow false posi
t
ive
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Car
p
enter
d
b: fixu
p
_ker
n
el
.
s
h
:
ignore (struct
t
i
m
er_list)->function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: look up all
t
he functi
o
n pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
he
l
p
er:
allow g
e
t_p
a
ram
_
num_fro
m
_sym() to be used
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpente
r
string_list:
introduce list_has_string()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
sm
a
t
c
h_
s
t
r
ing_list
.
c
: separate str
i
ng
_
list funct
i
ons
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpen
t
er
db: only lookup
functi
o
n pointers once
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
annotate: use i
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
arpenter
helper: ignore parens in expr_to_var()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carpenter
overflow: silence kernel false positive about
_
_per_cpu_offset
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpe
n
ter
k
e
rnel: recover m
o
d
ule_init/exit() functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n
Carpenter
flow: pass
the sy
m
_l
i
st t
o
the END
_
FILE_HOO
K
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
d
b: f
i
xup_k
e
rn
e
l
.
sh r
e
move
som
e
m
o
re USER_DATA tags
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: spee
d
up fill
_
db_caller_info
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Ca
r
penter
extra: improve +=
a
nd
-= handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Car
p
e
nter
sval: introduce 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 diffe
r
ent
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
introdu
c
e smatc
h
_
a
nnota
t
e
.
c:
a
nnotate s
o
m
e
common f
u
n
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Car
p
e
n
t
er
d
b
: give up if there
are
over 1000 r
e
turned states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpent
e
r
d
b
: fix slow d
o
wn caus
e
d by
recurs
i
ve
f
unction calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
D
an Carpen
t
e
r
buf_size: false pos
i
t
i
ve from large "
i
mplied" implied
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpente
r
help
e
r
: fix
e
xpr_to_str
(
)
f
or
f
u
nct
i
on calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Da
n
Carpenter
db
:
remove m
o
re
us
e
r
d
ata
from st
a
rt_xmi
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan Car
p
ente
r
db: manually delete some U
S
ER_D
A
TA mar
k
ers fro
m
th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-18
Da
n
Carpenter
extra: move
v
anil
l
a a
s
s
i
gns
i
nto
t
heir
o
w
n function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
r
a
n
g
es:
i
n
c
a
st_rl() sometimes i
t
's better to just
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
extr
a
:
t
y
p
e bug handli
n
g asm expressions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
db
:
fi
x
bug ha
n
dling
':' c
h
ar
a
cter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan C
a
r
p
enter
math: Use
function
call inf
o
rmati
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan
Carpent
e
r
f
l
o
w: handle P
O
ST_OPs corr
e
ctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan
C
a
rpenter
buf_siz
e
: handle d
m
a_alloc_attrs(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
extra: type bug handlin
g
f
or loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan
Carp
e
n
ter
math: fix a couple typ
e
bugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
D
an Carpen
t
e
r
l
o
cking: fix build p
r
oblem
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
D
a
n
C
arpenter
user_data: the
p
oint
e
r re
t
urned from
c
on
t
ainer
_
o
f
(
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carp
e
nt
e
r
db: update a de
b
ug m
e
ssage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
db: change th
e
file searched for sta
t
i
c f
u
nc
t
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpent
e
r
flow: f
i
x a debug statement
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan
C
a
rpenter
flow: save an
d
restore the big_expression_stack when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
D
a
n Ca
r
p
e
nter
conditions: fix small sign
e
d
n
es
s
bug in compa
r
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
D
a
n
Carpente
r
l
o
cki
n
g:
ignore parent
h
esis
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Da
n
Carpe
n
t
e
r
stack: turn off by defaul
t
, a
n
d less spammy
a
lways
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Ca
r
penter
signed
:
don't warn a
b
ou
t
assign
m
ents
t
o boo
l
ean
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Ca
r
pent
e
r
local_
v
alues: not all th
e
s
e
t
values make
i
t
to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
sizeof_param: ign
o
r
e strncat
(
a,
b, sizeof(b));
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan C
a
rpenter
kern
e
l: handle __ftrace_bad_
t
ype()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Da
n
Carpente
r
kernel: handle find_
n
ext_bit()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carp
e
nter
db_info: save
return
value
s
in in
-
memory database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Da
n
C
ar
p
e
nter
c
heck_
k
e
r
ne
l
: preserve ERR_
P
TR
values passed t
o
IS_E
R
R_
O
R_NULL()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Car
p
enter
chec
k
_kern
e
l:
r
ename nonnull to valid_ptr
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpenter
Revert "kernel: remove
s
ome unneeded c
o
de"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpent
e
r
sizeof_param: fix f
a
lse pos
i
t
ives wit
h
s
trlcpy
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-07
Dan Car
p
ent
e
r
compare: handle s
o
m
e
ass
i
gn
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Car
p
enter
extra:
shuffle matc
h
_assign a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan
Carpenter
e
x
tra:
o
nly get the types one time in ma
t
ch_assign
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
an Carpe
n
ter
function_ptr: mo
v
e get_fnptr_name() to smatch_
f
u
n
ct
i
o
n
_ptr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
a
n C
a
rpenter
db: fixup_kernel
.
sh: discard
c
a
l
ler
_
inf
o
from -
>
not
i
fier_call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next