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
db: return_id was set incorrectly when inline functions were used
2013-04-08
D
an Carpe
n
t
e
r
db: r
e
turn_id was s
e
t incorre
c
tly when inline
f
unctions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
an
C
arpenter
db: fix how the
return values are casted
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-04
D
a
n Ca
r
penter
helper: make is_array() accept NULL pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Ca
r
pe
n
ter
db: functi
o
n_ptrs: do
be
t
ter at fu
n
c
t
ion p
t
r to function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
D
an Carpenter
flow: create fa
k
e assignments
f
or
a
rr
a
y dec
l
arati
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan C
a
r
pente
r
flow: expres
s
ions: don't t
r
y updating to
uniniti
a
l
ized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Da
n
Carpenter
db: fixup_ker
n
el
.
s
h: (struct mISDNchan
n
el)->send information
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
db: f
i
xup
_
kernel
.
sh:
recor
d
w
here ->noti
f
ier_
c
all is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Da
n
C
a
r
p
ent
e
r
flow: handle inlines bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpente
r
db
:
function_ptrs: trac
k
p
ointer t
o
p
ointer assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
math:
silen
c
e some buffer overflo
w
false
positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
db: fixu
p
_kernel
.
sh: ignore
(
st
r
u
c
t timer_list)->fu
n
c
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-01
Szymon Janc
e
xtr
a
:
F
i
x
segmentation fault in match_assign
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan C
a
rpenter
db
:
look up all the functio
n
pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
arpenter
h
elper:
a
ll
o
w get_par
a
m_num_fro
m
_sym
(
)
to be used i
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an C
a
rpenter
str
i
ng_
l
ist:
intro
d
uce lis
t
_
has_string()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
C
a
rpenter
smatch_string_list
.
c: se
p
arate
string_list functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpen
t
er
db: only looku
p
funct
i
on poin
t
e
rs o
n
c
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
anno
t
a
t
e: u
s
e it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpen
t
er
he
l
pe
r
:
i
gnore parens
in expr
_
to_var()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
o
verflow: silence kernel false posit
i
ve abou
t
_
_per_cpu_offset
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan C
a
rpenter
k
ern
e
l:
recover
module_init/exit
(
)
f
u
nction
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an
C
arpenter
flow:
p
ass the sym_list to
th
e
E
ND_FILE_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db
:
fixu
p
_kernel
.
sh remove some more USER_DATA tags
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an
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 Carpenter
ext
r
a: improve += and -= ha
n
d
l
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpen
t
er
sval:
i
ntr
o
d
u
c
e
sval_is_negative_min()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpe
n
te
r
sv
a
l:
fi
x
sval
_
bino
p
_
overflo
w
s(
)
to accept
different
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n
Carpenter
introduce
sm
a
tch_an
n
otate
.
c: a
n
not
a
t
e some common fun
c
tion
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpen
t
er
db: give u
p
if there are
o
ver
1000 re
t
urned states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
arpenter
db
:
fix s
l
ow
down caus
e
d by rec
u
rs
i
ve functio
n
calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpente
r
buf
_
size: f
a
l
se positive from large "
i
mplied"
im
p
lied
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
D
an
C
arpe
n
ter
helper: fix exp
r
_to_str() fo
r
function call
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan
C
a
rpenter
d
b: remove more user
d
a
ta fro
m
s
tart_xmit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
D
an Carpe
n
ter
db:
m
anually delete some
U
S
ER_DATA mark
e
rs f
r
om the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-18
Dan Carpenter
ext
r
a: move van
i
lla assi
g
ns i
n
to t
h
e
ir
o
wn function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
ranges: in cast_
r
l() sometime
s
it's bet
t
e
r
to just
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpen
t
er
extra
:
type bu
g
handling asm expressions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
db
:
fix bu
g
h
andling
':'
c
haracter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpe
n
ter
ma
t
h: Use functio
n
call information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpent
e
r
f
l
ow: hand
l
e POST
_
OPs co
r
rectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan
Carpenter
buf_si
z
e:
h
andle dma_alloc_attrs(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carp
e
nt
e
r
extra: type bug
h
andling
f
or loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
mat
h
:
f
ix a cou
p
l
e
type bugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
lock
i
ng: f
i
x build p
r
obl
e
m
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan
C
a
r
p
enter
user_data: the p
o
int
e
r returned
f
rom cont
a
ine
r
_of(
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan
C
arpenter
d
b
:
u
pdat
e
a debug message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpente
r
db:
change the f
i
le searched f
o
r static functi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
D
a
n
C
a
r
penter
f
l
ow:
fix a debug s
t
atement
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan
Ca
r
penter
flow: save
and re
s
tore the big_ex
p
re
s
sion
_
stack when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Ca
r
penter
cond
i
tions: fix small signedne
s
s bug in co
m
pares
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
locking: ignore parenthesis
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
stack: turn
off by
def
a
ult,
a
nd less spammy always
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carp
e
nter
signed: don't
warn abo
u
t
ass
i
g
n
ment
s
t
o
bo
o
lean
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpen
t
er
local_v
a
lu
e
s:
n
ot all the set values
make
i
t to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan
Car
p
enter
si
z
eo
f
_par
a
m: ignore strncat(a, b, size
o
f
(
b));
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
kernel: handle __f
t
race_bad_
t
ype()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan C
a
rp
e
nt
e
r
kernel: ha
n
dle
find_next_bit()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
D
a
n Car
p
ent
e
r
db_info: save return
v
a
l
ues in
i
n-memory
d
at
a
base
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpenter
c
heck_kernel: prese
r
ve ERR_PTR values p
a
ssed to IS_ERR_OR_NUL
L
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpen
t
er
check_kernel: re
n
ame n
o
nnull to
v
al
i
d_ptr
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carp
e
nte
r
Re
v
ert "kernel: remo
v
e some unneede
d
code"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpenter
sizeof_param
:
fix
fa
l
se positive
s
with strlc
p
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-07
Dan Carpenter
compare: handle some
a
ssig
n
me
n
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
e
x
tr
a
: sh
u
ffle match_as
s
ign a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Car
p
enter
extra: only
g
et the
t
y
pes
o
n
e
time in
match_
a
ssign
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
a
n Carpen
t
e
r
function_ptr: mo
v
e get_fnptr_
n
ame() t
o
smatch_function_ptr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
db: fixup_
k
ernel
.
sh: di
s
ca
r
d caller_i
n
fo
f
ro
m
->
n
otif
i
e
r_call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
an Carp
e
nter
db: fixu
p
_kernel
.
sh: only track the main read/write
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
Carpent
e
r
user_d
a
t
a
: tra
c
k
u
ser data
acros
s
as
s
ignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
a
n
Carp
e
nte
r
s
mat
c
h_capped:
g
et_implied_max
(
) does not implied capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
an Carpenter
buf_
s
ize: e
x
po
r
t get_real_array
_
siz
e
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
extra
:
handle MOD
_
ASSIGN better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carp
e
nter
db: don't pr
i
n
t
i
n
fo
r
mation caller information for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
a
n Carpenter
function_ptrs:
t
r
a
ck parameters as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
Carpenter
function
_
ptrs: separate int
o
its own file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-01
Dan Carpenter
data
:
add
s
nprintf
t
o kernel
.
sizeof_p
a
ram
.
remove
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-28
Dan
C
a
rpenter
buf_size: fix
a
N
U
L
L
derefe
r
e
n
c
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-28
D
an
C
arpenter
k
ernel: remo
v
e
some unneeded code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpenter
buf_si
z
e: h
a
n
dle e
m
pty arrays on the end of struc
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpe
n
t
er
buf_size: remove some
d
ead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpente
r
l
ocal_
v
alues: store possibl
e
v
alu
e
s
o
f
static d
a
ta
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
D
a
n Carpenter
fl
o
w:
m
ore inline fall
out
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
D
an Carp
e
nter
d
b: export mem
_
sql
(
) so checks
c
an use
it
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Dan
Carpenter
no_return: ano
t
her problem w
i
th inline f
u
nctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpenter
ranges: fix
casting of invalid range lists
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpen
t
er
extra, f
u
nction
_
hooks: fix
h
andling of
c
a
ste
d
f
unction
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Car
p
enter
Re
v
ert "d
b
: don't create unused tables in the in-memory
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Ca
r
penter
db: don't use function pointers for caller info
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db:
u
se "dis
t
inct" to avoid duplicate
f
unction pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
D
an
C
arpenter
db: load global fu
n
ction pointers int
o
the db properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan C
a
rpe
n
te
r
d
b: remo
v
e
dupl
i
cate struct p
o
inters to functi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: fix call_impli
e
s for t
h
e in
-
memory database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n Car
p
enter
db,
functio
n
_hooks
:
query the db after pro
c
essing the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: store t
h
e value of "x" when y
o
u call frob
(
&
x)
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan
Carpenter
db: pass poi
n
ted at
v
alues to called functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpen
t
er
db:
r
e
s
et the
in
-
me
m
o
r
y
database
after every function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Da
n
Carpenter
db: add some deb
u
g s
t
atements for
i
nserts into t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carp
e
nter
db:
use call_id for the in-
m
emory database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan
Car
p
enter
d
b
:
add call_
i
d to call_implies, re
t
urn_states and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next